refinements-Pnb-2011-04-30

This commit is contained in:
virk.shafqat
2011-04-30 18:11:48 +00:00
parent a177de8579
commit 3836d07089
25 changed files with 228 additions and 120 deletions

View File

@@ -110,6 +110,11 @@ oper
mkN11 x = mkN x x x x
x x x ""
Fem ;
-- 12 Masc no inflection
mkN12 : Str -> Noun ;
mkN12 x = mkN x x x x
x x x ""
Masc ;
----2 Determiners
@@ -135,7 +140,20 @@ oper
Fem => s2
};
n = n
};
};
makeIQuant : Str -> Str -> Str -> Str -> {s:Number => Gender => Str} = \s1,s2,s3,s4 -> {
s = table {
Sg => table {
Masc => s1 ;
Fem => s2
} ;
Pl => table {
Masc => s3 ;
Fem => s4
}
}
};
-- Proposition