THE LATEST IN A SERIES OF ENGLISH-LIKE LANGUAGES IS DESCRIBED WHICH IS TRANSLATABLE INTO FORMS OF A FIRST-ORDER PREDICATE CALCULUS NOTATION. THE STUDY IS BASED ON THE HYPOTHESIS THAT SYNTACTIC AMBIGUITY ARISING FROM DIFFERENCES IN DEEP STRUCTURE CAN BE ADEQUATELY DESCRIBED ONLY IF THE DEEP STRUCTURES CAN BE SYSTEMATICALLY REPRESENTED. THE NOTATION OF MODERN LOGIC IS CONSIDERED A SUITABLE TOOL FOR REPRESENTING ASPECTS OF GRAMMAR, SUCH AS TENSE, WHICH ARE NOT PURELY LOGICAL. BASIC PARSING ALGORITHMS ARE EMBODIED IN A COMPUTER PROGRAM, WHICH NOT ONLY REVEALS ERRORS IN ALGORITHMS BUT PROVIDES SUGGESTIONS FOR POSSIBLE SIMPLIFYING PARAPHRASES. NATURAL LANGUAGES CORRELATES OF THE LOGICAL CONCEPTS OF DEGREE, GROUPING, QUANTIFICATION, AND SCOPE HAVE BEEN EXPLORED, AND SEVERAL LONGSTANDING SUGGESTIONS OF LOGICIANS HAVE BEEN FOLLOWED. THE LOGIC OF NATURAL GRAMMAR IS CONSIDERED A PROMISING FIELD OF INVESTIGATION FOR THEORETICAL LINGUISTICS. THIS DOCUMENT IS AVAILABLE FROM THE FEDERAL CLEARINGHOUSE AS AD 637 227. (KL)