(Dut) Make postmodifier AP take the predicative form; ComplA2 makes AP into postmodifier

2018-04-19 15:46:36 +02:00
parent 34d27a6876
commit 6e9f81a4a3
2 changed files with 9 additions and 5 deletions
@@ -31,7 +31,7 @@ concrete AdjectiveDut of Adjective = CatDut ** open ResDut, Prelude in

    ComplA2 a np = {
      s = \\agr,af => a.s ! Posit ! af ++ appPrep a.c2 np ; 
-      isPre = True
+      isPre = False
      } ;

    ReflA2 a = {