Before revision: In formal semantics, a quantized expression is such that, whenever it is true of some entity , it is not true of any proper subparts of that entity.
After revision: In formal semantics, a predicate is quantized if it being true of an entity requires that it is not true of any proper subparts of that entity.