Assertion: predicate's variable | /r/HasProperty | parameter
Facets:
Source sentences:
text: These indefinite names are the variables (parameters) in the notation of assertions in mathematical language (for example, x + 2 = 4) and the various words, such as “something” and “someone,” that in a natural language act as variables in expressions of the type “some person,” “someone loves someone,” and “if someone is a person, then he is mortal.