Assertion: propositional variable | /r/HasProperty | formula
Facets:
Source sentences:
text: Every propositional variable is a formula.