... structure and 2. A formal account the associated formalisms, including a BNF syntax and a denotational semantics for our "normalized parse trees" and "algebraic-logical form" language, ... Electronic Computers, 1964. Moore, R. Problems in Logical Form. 19th Meeting of the Association for Computational Linguistics, Stanford, California, 1981, pp. 117-124. PateI-Schneider, P. Small ... Theories. Canter for the Study of Language and Information, Stanford University, 1985. Thompson, B. and Thompson, F. ASK Is Transportable in Half a Dozen Ways. ACM Trans. on O~ce Information Systems...