Assertion: function symbol | /r/HasProperty | interpreted by addition
Facets:
Source sentences:
text: The binary function symbol + is interpreted by addition, the constant symbol 0 by the additive identity, and the binary relation symbol < by the relation less than.