1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
resource CommonSlavic = ParamX ** open Prelude in { param Gender = Masc | Fem | Neut ; Animacy = Animate | Inanimate ; GenNum = GSg Gender | GPl ; oper gennum : Gender -> Number -> GenNum = \g,n -> case n of { Sg => GSg g ; Pl => GPl } ; numGenNum : GenNum -> Number = \gn -> case gn of { GSg _ => Sg ; GPl => Pl } ; }