A [[Quantifier]] expresses the [[Domain]] to which a [[Predicate]] is [[Truth Value|true]] over some [[Domain]].