1
0
forked from GitHub/gf-rgl

some fixes and extensions

This commit is contained in:
Herbert Lange
2019-10-31 13:15:29 +01:00
parent d960d0d361
commit 11a4d6ed12
4 changed files with 6 additions and 5 deletions
+3 -3
View File
@@ -85,7 +85,7 @@ concrete NounLat of Noun = CatLat ** open ResLat, Prelude, ConjunctionLat in {
--
DetQuant quant num = {
s = \\g,c => quant.s ! Ag g num.n c ++ num.s ! g ! c ;
sp = \\g,c => quant.sp ! Ag g num.n c ++ num.s ! g ! c ;
sp = \\g,c => quant.sp ! Ag g num.n c ;
n = num.n
} ;
@@ -182,6 +182,6 @@ concrete NounLat of Noun = CatLat ** open ResLat, Prelude, ConjunctionLat in {
-- CountNP : Det -> NP -> NP ; -- three of them, some of the boys
CountNP det np = np ** {
det = det
det = det ** { s = \\g,c => det.s ! g ! c++ np.det.s ! g ! c } ;
};
}
}