Assertion: quantifier | /r/CapableOf | transform a three-place predicate
Facets:
value: into a two-place one
type: OTHER
Source sentences:
text: The use of quantifiers reduces the number of free variables in logical expressions and, if the quantifier is not a “dummy” (that is, if it is related to a variable actually entering into the formula), it transforms a three-place predicate into a two-place one, a two-place one into a single-place one, and single-place one into a proposition.