1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
abstract ExtEngAbs = Cat ** { cat Aux ; -- auxiliary verbs: "can", "must", etc -- Notice that $Aux$ cannot form $VP$ with infinitive, imperative, etc. fun PredAux : NP -> Aux -> VP -> Cl ; QuestAux : IP -> Aux -> VP -> QCl ; can_Aux : Aux ; must_Aux : Aux ; }