Assertion: zero | /r/HasProperty | the identity
Facets:
value: for addition
type: PURPOSE
Source sentences:
text: If the summation has no summands, then the evaluated sum is zero, because zero is the identity for addition.