Before revision: In linguistics , 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 quantized expression is such that, whenever it is true of some entity, it is not true of any proper subparts of that entity.