abstract Question = Cat ** {A question can be formed from a clause ('yes-no question') or with an interrogative.
fun QuestCl : Cl -> QCl ; -- does John walk QuestVP : IP -> VP -> QCl ; -- who walks QuestSlash : IP -> ClSlash -> QCl ; -- whom does John love QuestIAdv : IAdv -> Cl -> QCl ; -- why does John walk QuestIComp : IComp -> NP -> QCl ; -- where is JohnInterrogative pronouns can be formed with interrogative determiners, with or without a noun.
IdetCN : IDet -> CN -> IP ; -- which five songs IdetIP : IDet -> IP ; -- which fiveThey can be modified with adverbs.
AdvIP : IP -> Adv -> IP ; -- who in ParisInterrogative quantifiers have number forms and can take number modifiers.
IdetQuant : IQuant -> Num -> IDet ; -- which (five)Interrogative adverbs can be formed prepositionally.
PrepIP : Prep -> IP -> IAdv ; -- with whomThey can be modified with other adverbs.
AdvIAdv : IAdv -> Adv -> IAdv ; -- where in ParisInterrogative complements to copulas can be both adverbs and pronouns.
CompIAdv : IAdv -> IComp ; -- where (is it) CompIP : IP -> IComp ; -- who (is it)More IP, IDet, and IAdv are defined in Structural. Wh questions with two or more question words require a new, special category.
cat QVP ; -- buy what where fun ComplSlashIP : VPSlash -> IP -> QVP ; -- buys what AdvQVP : VP -> IAdv -> QVP ; -- lives where AddAdvQVP : QVP -> IAdv -> QVP ; -- buys what where QuestQVP : IP -> QVP -> QCl ; -- who buys what where }