Assertion: predicate's variable | /r/HasProperty | letter
Facets:
Source sentences:
text: The classical predicate calculus makes use of the following signs: (1) individual variables—the letters x, y, z, . .