Quantifiers Defined by Parametric Extensions | AMiner