Assertion list for term "equal the number of variables".
Results from Ascent++: 1
number (aspect of variable) → CapableOf → equal the number of variables 0.32