Assertion: predicate | /r/MadeOf | variable
Facets:
Source sentences:
text: Predicate Calculus deals with predicates, which are propositions containing variables.