Erzsébet's fixes to Ger

This commit is contained in:
aarne
2012-05-26 08:57:01 +00:00
parent aba003fed2
commit 76ae3e50e6
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) ;