Two systems, the 'first order predicate calculus', and the programming language PLANNER are discussed with respect to their capability of answering questions involved in the problem of determining how knowledge is used to make inferences in natural language understanding.