... processes of information retrieval, inference, planning, etc. b. a system of linkages between expressions of the natural language and those of the conceptual representation, and c. a system of ... name of the sense of that constant). By ap- pending multiple occurrences of ' T' to constants, we obtain new constants that denote concepts of concepts, concepts of concepts of concepts, ... Language: NFLT The translation of input sentences into a logical for- malism of some kind is a fairly standard feature of com- puter systems for natural- language understanding, and one which...