Barbara Begier: Knowledge Representation Method Based On Predicate Calculus In An Intelligent CAI System. COLING 1982: 13-18