Assertion: polyadic quantifier | /r/CapableOf | bind one variable
Facets:
Source sentences:
text: This set-up can be generalized to polyadic "quantifiers" binding more than one variable occurring in more than one formula (example: the equi-cardinality quantifier $Q$ binding two variables $x$ and $y$ in two formulas $\Phi(x)$ and $\Psi(y)$, yielding the formula $Qxy(\Phi(x),\Psi(y))$, which is interpreted by $\{(B,C):B\text{ and }C\text