Coefficient*Variable terms. 
The terms are added to the left-hand side of the constraint named Name. S 
is unified with the resulting state.
Coefficient*Variable terms. 
The terms are added to the left-hand side of the constraint named Name. S 
is unified with the resulting state.