Assertion: expression | /r/HasProperty | viewed as program
Facets:
value: for the addition
type: CAUSE
value: with a and b as parameters
type: OTHER
value: with b
type: OTHER
Source sentences:
text: For example, the expression a + b may be viewed as a program for the addition, with a and b as parameters.