This description can then be given the standard set-theoretical interpretation of King ( 1989 , 1994 ) . '
a logical formalism for headdriven phrase structure grammar
Paul King
The formalization of DLRs provided by Meurers ( 1995 ) defines a formal lexical rule specification language and provides a semantics for that language in two steps : A rewrite system enriches the lexical rule specification into a fully explicit description of the kind shown in Figure 1 . This description can then be given the standard set-theoretical interpretation of King ( 1989 , 1994 ) . ' 10 Note that the passivization lexical rule in Figure 2 is only intended to illustrate the mechanism .
This description can then be given the standard set-theoretical interpretation of @@CITATION , 1994 ) . '