A new method is presented for simplifying the logical expressions used to represent utterance meaning in a natural language system. 1 This simplification method utilizes the encoded knowledge and the limited inference-making capability of a tax onomic knowledge representation system to reduce the constituent structure of logical expressions.