resource-api demo

This commit is contained in:
aarne
2007-12-21 15:07:37 +00:00
parent 8ef4cf6f2b
commit 00779c9657
16 changed files with 18239 additions and 305 deletions

View File

@@ -76,8 +76,8 @@ fun ovrld70_mkNP : DConj -> ListNP -> NP ;
fun ovrld71_mkDet : Quant -> Ord -> Det ;
fun ovrld72_mkDet : Quant -> Det ;
fun ovrld73_mkDet : Quant -> Num -> Ord -> Det ;
fun ovrld74_mkDet : Quant -> Det ;
fun ovrld75_mkDet : Quant -> Det ;
----fun ovrld74_mkDet : Quant -> Det ;
----fun ovrld75_mkDet : Quant -> Det ;
fun ovrld76_mkDet : Quant -> Num -> Det ;
fun ovrld77_mkDet : Num -> Det ;
fun ovrld78_mkDet : Int -> Det ;
@@ -87,8 +87,8 @@ fun ovrld81_defSgDet : Det ;
fun ovrld82_defPlDet : Det ;
fun ovrld83_indefSgDet : Det ;
fun ovrld84_indefPlDet : Det ;
fun ovrld85_mkQuantSg : Quant -> Quant ;
fun ovrld86_mkQuantPl : Quant -> Quant ;
----fun ovrld85_mkQuantSg : Quant -> Quant ;
----fun ovrld86_mkQuantPl : Quant -> Quant ;
fun ovrld87_defQuant : Quant ;
fun ovrld88_indefQuant : Quant ;
fun ovrld89_massQuant : Quant ;