diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-11-27 16:21:27 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-11-27 16:21:27 +0000 |
| commit | 854fe0aac10c56372f2e185ab9b68379c232d33b (patch) | |
| tree | 203a687ac18b5188d96b8ee1e15920980dde5e2f /examples/logic/LogicI.gf | |
| parent | a5232f7e5b8f6ca988696f3870f019113edb8d90 (diff) | |
AdvS and for_Prep in resource (except Russian)
Diffstat (limited to 'examples/logic/LogicI.gf')
| -rw-r--r-- | examples/logic/LogicI.gf | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/examples/logic/LogicI.gf b/examples/logic/LogicI.gf index c9c374622..182ed6ff5 100644 --- a/examples/logic/LogicI.gf +++ b/examples/logic/LogicI.gf @@ -16,11 +16,16 @@ lincat Text = Section ; lin + ThmWithProof = theorem ; + Disj A B = coord or_Conj A B ; Impl A B = coord ifthen_DConj A B ; 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 ; + 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)) ; |