This question is mostly for @olzama but maybe also @guyemerson — I’m trying to debug a grammar from Ling 567 and having a hard time tracking down the bug. I suspect it’s because I don’t yet know how to navigate append-lists well.
The issue is that an NP built with the extracted-determiner-phrase is fitting in as the daughter of wh-ques. (There’s a separate bug in this grammar that’s making the QUE value of the NP be underspecified, but this is orthogonal.) I added SLASH.LIST < > to the non-head daughter of wh-ques, figuring this should keep extra-det-licensed NPs out of that spot, but it’s still unifying.
Do these two things look like they should unify, or is something actually wonky here?
wh-ques-phrase := basic-head-filler-phrase & interrogative-clause & head-final & [ SYNSEM [ LOCAL.CAT [ WH.BOOL +, MC bool, VAL #val, HEAD verb ], NON-LOCAL.QUE.LIST < > ], NON-HEAD-DTR.SYNSEM [ NON-LOCAL [ SLASH.LIST < >, QUE.LIST < ref-ind > ], LOCAL.CONT.HOOK.ICONS-KEY focus ], HEAD-DTR.SYNSEM [ NON-LOCAL.QUE.LIST < >, LOCAL.CAT [ VAL #val & [ SUBJ < >, COMPS < > ], MC na-or-+ ] ] ].
extracted-det-phrase := basic-extracted-arg-phrase & head-compositional &
[ SYNSEM [ LOCAL #specloc & local &
[ CAT [ HEAD noun,
VAL [ SUBJ < >,
COMPS < >,
SPR < >,
SPEC < > ] ] ],
NON-LOCAL.SLASH.APPEND < #slash,
[ LIST < #local > ] > ],
HEAD-DTR.SYNSEM [ LOCAL.CAT.VAL.SPR < gap &
[ LOCAL #local & local &
[ CAT [ HEAD det,
VAL.SPEC.FIRST.LOCAL #specloc ],
CONT.HOOK #hook ] ] >,
NON-LOCAL.SLASH #slash ],
C-CONT [ RELS.LIST < >,
HCONS.LIST < >,
ICONS.LIST < >,
HOOK #hook ] ].