From 8cd9a329fa6d41849df4b7e8c2f19b34884cb547 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Mon, 27 Nov 2006 16:43:57 +0000
Subject: arithm example

---
 examples/logic/LogicI.gf | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

(limited to 'examples/logic/LogicI.gf')

diff --git a/examples/logic/LogicI.gf b/examples/logic/LogicI.gf
index 182ed6ff5..61d948607 100644
--- a/examples/logic/LogicI.gf
+++ b/examples/logic/LogicI.gf
@@ -4,7 +4,8 @@ incomplete concrete LogicI of Logic =
     Prooftext, 
     Grammar, 
     Constructors, 
-    Combinators 
+    Combinators,
+    ParamX ---
   in {
 
 lincat 
@@ -24,7 +25,10 @@ lin
   Abs = mkS (pred have_V2 (mkNP we_Pron) (mkNP (mkDet IndefArt) contradiction_N)) ;
 
   Univ A B = 
-    mkS (mkAdv for_Prep (mkNP all_Predet (mkNP (mkDet IndefArt (mkCN A $0))))) B ;
+    AdvS 
+      (mkAdv for_Prep (mkNP all_Predet 
+        (mkNP (mkDet (PlQuant IndefArt)) (mkCN A (symb B.$0)))))
+      B ;
 
   DisjIl A B a = proof a (proof afortiori (coord or_Conj A B)) ;
   DisjIr A B b = proof b (proof afortiori (coord or_Conj A B)) ;
@@ -46,4 +50,8 @@ lin
   Hypoth A h = proof hypothesis A ;
 
 
+--- this should not be here, but is needed for variables
+lindef
+  Elem s = {s = \\_ => s ; a = {n = Sg ; p = P3} ; lock_NP = <>} ;
+
 }
\ No newline at end of file
-- 
cgit v1.2.3