Assertion: propositional variable | /r/HasProperty | no object variables
Facets:
Source sentences:
text: Propositional variables can be considered nullary predicates in first order logic, because there are no object variables x, y.., attached to predicate letters Px, xRy,...