diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-11-27 16:43:57 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-11-27 16:43:57 +0000 |
| commit | 8cd9a329fa6d41849df4b7e8c2f19b34884cb547 (patch) | |
| tree | 3b7006ed313c02e22b5e2b3fe5be0100e58baedf /examples/logic/LogicI.gf | |
| parent | 854fe0aac10c56372f2e185ab9b68379c232d33b (diff) | |
arithm example
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 |