Quantification
Inference
Pragmatics
Semantics
Predicate logic
Quantifier
Implicature
Scalar implicature
Universal quantification
FO
Cumulativity