diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-11-27 10:54:26 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-11-27 10:54:26 +0000 |
| commit | a5232f7e5b8f6ca988696f3870f019113edb8d90 (patch) | |
| tree | 7e9d543ac07c037c0f86dcc00937a4bbc7a8cc63 /examples/logic/LexTheoryEng.gf | |
| parent | c75688651e95d1fe69175ca3e4859e6d753b2b8c (diff) | |
part of Logic implemented generically
Diffstat (limited to 'examples/logic/LexTheoryEng.gf')
| -rw-r--r-- | examples/logic/LexTheoryEng.gf | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/examples/logic/LexTheoryEng.gf b/examples/logic/LexTheoryEng.gf index 556bd2b24..29c2f21fc 100644 --- a/examples/logic/LexTheoryEng.gf +++ b/examples/logic/LexTheoryEng.gf @@ -2,6 +2,8 @@ instance LexTheoryEng of LexTheory = open GrammarEng,ParadigmsEng,IrregEng in { oper assume_VS = mkVS (regV "assume") ; case_N = regN "case" ; + contradiction_N = regN "contradiction" ; have_V2 = dirV2 have_V ; - + hypothesis_N = mk2N "hypothesis" "hypotheses" ; + ifthen_DConj = {s1 = "if" ; s2 = "then" ; n = singular ; lock_DConj = <>} ; } |