Assertion: addition | /r/HasProperty | defined on natural numbers
Facets:
Source sentences:
text: Addition is first defined on the natural numbers.