17. The system of claim 16 wherein the programming language further comprises: primitive types for modeling the semantics of the natural language.
17. The system of claim 16 wherein the programming language further comprises: primitive types for modeling the semantics of the natural language. 18. The system of claim 17 wherein the primitive types comprise: a base command type for modeling a command contained in an utterance.