Assertion: predicate | /r/Synonym | place predicates
Facets:
Source sentences:
text: Monadic predicate logic uses predicates (called one-place predicates) that take just one argument.
text: Polyadic predicate logic uses predicates (called many-place predicates) that take two or more arguments.