Add API definition for quantifiers.