... about the type of entity the identifier names. (1 2. 1) D(vpl, npl); VP(vpl); NP(npl) (1 2. 2) D(vpl, np 2); NP(np 2) (1 2. 3) D(vpl, np 3); NP(np 3) (1 2. 4) D(npl, apl); D(apl, adjl); ADJ(adjl) (1 2. 5) ... D(apl, adjl); ADJ(adjl) (1 2. 5) D(npl, hi); NOUN(hi) (1 2. 6) D(np2, n 2); NOUN(n 2) (1 2. 7) D(np3, n 3); NOUN(n 3) (1 2. 8) D(np3, ppl ): D(ppl, prept); PREP(prepl) (1 2. 9) adjl < nl < n2 < ... of (2 ) in a D-theory parser at the point at which the parser had analyzed "my aunt', but no further, might include the following predications: (3 . 1) D(vpl, npl) (3 . 2) D(vpl, vl)...