Quantified statement

An assertion about an unspecified class of thing, a quantified statement consists of a quantifier, at least one class, and a variable.