diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-11-15 20:08:09 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-11-15 20:08:09 +0000 |
| commit | f30560efcc5acb39f8b9a4a5d0ea0482224a5fc1 (patch) | |
| tree | 91f1e3b2a3044ee3531dcf4a799db427681c81b4 /examples/attempto/Attempto.gf | |
| parent | 373b4d6828e0eba56e11cd5851591d303f369b43 (diff) | |
Attempto complete up to spec
Diffstat (limited to 'examples/attempto/Attempto.gf')
| -rw-r--r-- | examples/attempto/Attempto.gf | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/examples/attempto/Attempto.gf b/examples/attempto/Attempto.gf index 744652775..e8e0f46b9 100644 --- a/examples/attempto/Attempto.gf +++ b/examples/attempto/Attempto.gf @@ -62,7 +62,6 @@ fun ten_Card : Card ; fun pnNP : PN -> NP ; fun intNP : Int -> NP ; -fun intNegNP : Int -> NP ; fun floatNP : Float -> NP ; @@ -112,7 +111,7 @@ fun unit_ofNP : Card -> Unit -> CN -> NP ; -- 3 kg of apples fun unit_ofMassNP : Card -> Unit -> MCN -> NP ; -- 3 l of water fun apposVarCN : CN -> Var -> CN ; -- a man X -fun varNP : Var -> NP ; +fun termNP : Term -> NP ; fun conjNP : NP -> NP -> NP ; @@ -189,7 +188,8 @@ fun modVP : VP -> Adv -> VP ; fun thereNP : NP -> S ; -- there is/are -- 3.3 --- Boolean formulas = \= < > <= >= + +fun formulaS : Formula -> S ; -- 3.4.1 |