From f30560efcc5acb39f8b9a4a5d0ea0482224a5fc1 Mon Sep 17 00:00:00 2001 From: aarne Date: Sat, 15 Nov 2008 20:08:09 +0000 Subject: Attempto complete up to spec --- examples/attempto/Attempto.gf | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'examples/attempto/Attempto.gf') 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 -- cgit v1.2.3