(Dut) Fixes in ComplSlash, mkClause, ProgrVP + general cleanup

This commit is contained in:
Inari Listenmaa
2018-04-18 10:13:55 +02:00
parent 100bb34dcd
commit f2a02c438d
4 changed files with 59 additions and 86 deletions
+4 -6
View File
@@ -32,16 +32,14 @@ concrete IdiomDut of Idiom = CatDut **
}
} ;
ProgrVP vp = insertObj (\\agr => "aan" ++ "het" ++ useInfVP True vp ! agr) (predV zijn_V) ;
ProgrVP vp = let vpi = infVP True vp in
insertAdv ("aan het" ++ vpi.inf ++ vpi.ext)
(insertObj vpi.obj (compV zijn_V)) ;
ImpPl1 vp =
let
v = laten_V ;
vpi = infVP True vp ;
vvp = insertExtrapos vpi.p3 (
insertInf vpi.p2 (
insertObj vpi.p1 (
predVGen True vp.negPos v))) ;
vvp = insertInfVP True vp (predVGen True vp.negPos v) ;
in
{s = (mkClause "we" {g = Utr ; n = Pl ; p = P1} vvp).s !
Pres ! Simul ! Pos ! Inv