1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
abstract Conversation = { cat Q ; NP ; A ; Gender ; Number ; Politeness ; fun PredA : NP -> A -> Q ; GMasc, GFem : Gender ; NSg, NPl : Number ; PFamiliar, PPolite : Politeness ; You : Number -> Politeness -> Gender -> NP ; Ready : A ; }