Assertion: predicate's value | /r/HasProperty | defined in the set of natural numbers
Facets:
Source sentences:
text: For example, if the values of a variable x in the expression x + 2 — 4 are defined in the set of natural numbers, then the corresponding function is that given in Table 1.