Erzsébet's fixes to Ger

This commit is contained in:
aarne
2012-05-26 08:57:01 +00:00
parent 05251820c4
commit cb0601bb47
3 changed files with 48 additions and 53 deletions

View File

@@ -9,10 +9,11 @@ concrete VerbGer of Verb = CatGer ** open Prelude, ResGer in {
let
vpi = infVP v.isAux vp
in
insertExtrapos vpi.p3 (
insertInf vpi.p2 (
insertObj vpi.p1 (
predVGen v.isAux v))) ;
insertExtrapos vpi.p4 (
insertInfExt vpi.p3 (
insertInf vpi.p2 (
insertObj vpi.p1 (
predVGen v.isAux v)))) ;
ComplVS v s =
insertExtrapos (conjThat ++ s.s ! Sub) (predV v) ;