Class QuantifierMatcher<T extends Quantifier>