... written in Sms/ltalk and, in INK,A, produces rides for a Prolog inference engine. INTRODUCTION The ides/ natural language interface would let any user, without any prior training, interact ... input. In the future we intend to explore the u~ of a wider class of grammars that include a domain-independent kernel and a domain-specific component, like GLIB. In this approach we are in ... acceptable input. In the INKA system as it is currently cen.mxtcted, however, them are two distinct ways in which the semantic correctness of an input can be enforced, tint in the parsing of...