... terminals (lexical items), VN is a finite set of nonterminals (atomic categories), S is a distinguished member of VN, f is a function that maps elements of VT U {e} to finite subsets of C(VN), ... i _< .} Although there is no type-raising rule, its effect can be achieved to a limited extent since f can assign type-raised categories to lexical items, which is the scheme employed ... generated by G is 2.3 Tree Adjoining Grammars A TAG [8,7] is denoted G = (VN, VT, S, I, A) where VN is a finite set of nontennlnals, VT is a finite set of terminals, S is a distinguished nonterminal,...