Subject raising auxiliary choices

I have an inferred choices file that passes validation and customizes but doesn’t load. The error (in the lkb) is:

Error in SUBJ-RAISE-AUX-NO-PRED: No possible type for features (CASE) at path (ARG-ST.REST.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD)

This is the type in the customized grammar and it’s supertypes. Is case not allowed on an aux with a raised subject?

subj-raise-aux-with-pred := subj-raise-aux & norm-sem-lex-item & trans-first-arg-raising-lex-item-1.

subj-raise-aux := aux-lex & trans-first-arg-raising-lex-item &
[ SYNSEM.LOCAL [ CAT.VAL [ SPR < >,
SPEC < >,
COMPS < #comps >,
SUBJ < #subj > ],
CONT.HOOK.XARG #xarg ],
ARG-ST < #subj &
[ LOCAL [ CAT [ HEAD noun &
[ CASE #case ],
VAL [ SUBJ < >,
SPR < >,
SPEC < >,
COMPS < > ] ],
CONT.HOOK.INDEX #xarg ] ],
#comps &
[ LOCAL.CAT [ VAL [ SUBJ < unexpressed &
[ LOCAL.CAT.HEAD.CASE #case ] >,
COMPS < >,
SPR < >,
SPEC < > ],
HEAD verb ] ] > ].

trans-first-arg-raising-lex-item-1 := trans-first-arg-raising-lex-item &
basic-icons-lex-item &
[ ARG-ST < [ LOCAL.CONT.HOOK [ ICONS-KEY.IARG1 #clause,
CLAUSE-KEY #clause ] ],
[ LOCAL.CONT.HOOK [ LTOP #larg,
ICONS-KEY.IARG1 #clause,
CLAUSE-KEY #clause ] ] >,
SYNSEM [ LOCAL.CONT [ HOOK.CLAUSE-KEY #clause,
HCONS <! qeq &
[ HARG #harg,
LARG #larg ] !> ],
LKEYS.KEYREL event-relation &
[ ARG1 #harg ]]].

Is this a language that doesn’t otherwise have a case system? If so, the feature CASE won’t be defined…

Ah- yes! At least the inferred case-system is none.
And this would be the choice responsible for that: aux1_subj=np-comp-case (same case as the complement).
That needs to be changed to aux1_subj=np (no case restrictions)

Correct! (And this shows what we’re missing in validation … can you add a ticket to the Matrix trac for this one?)

sure- done!