Research on semantic interpretation in artificial intelligence goes back to Woods's dissertation (1967, 1968), which introduced procedural semantics in a natural-language front-end for an airline reservation system. Woods's system had rules with patterns that, when they matched part of the parsed input sentence, contributed a string to the semantic representation of the sentence. This string was usually constructed from the terminals of the matched parse tree fragment.