Since carrying around various large subsets of the universe of discourse is not practical because of the computation involved, more flexible approach to representing meaning is needed.
First Order Predicate Calculus (FOPC) is a well-understood and computationally viable approach to the representation of knowledge. It goes a long way to satisfying the requirements given in Section 2.2.3.1.