Assertion: predicate's variable | /r/HasProperty | wff
Facets:
Source sentences:
text: All propositional constants and propositional variables are wffs
text: Each propositional constant (i.e. specific proposition), and each propositional variable (i.e. a variable representing propositions) are wffs.