Assertion: propositional variable | /r/AtLocation | letters px
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,...