diff options
Diffstat (limited to 'examples/logic/LogicI.gf')
| -rw-r--r-- | examples/logic/LogicI.gf | 12 |
1 files changed, 10 insertions, 2 deletions
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 |