From fb1d9b7d2c3c8261fc5a2ce3698e6749458b207a Mon Sep 17 00:00:00 2001 From: aarne Date: Thu, 26 Jun 2008 21:05:01 +0000 Subject: removed transfer from gf3 --- transfer/examples/aggregation/English.gf | 41 -------------------------------- 1 file changed, 41 deletions(-) delete mode 100644 transfer/examples/aggregation/English.gf (limited to 'transfer/examples/aggregation/English.gf') diff --git a/transfer/examples/aggregation/English.gf b/transfer/examples/aggregation/English.gf deleted file mode 100644 index 53199787b..000000000 --- a/transfer/examples/aggregation/English.gf +++ /dev/null @@ -1,41 +0,0 @@ -concrete English of Abstract = { - -lincat - VP = {s : Num => Str} ; - NP, Conj = {s : Str ; n : Num} ; - -lin - Pred np vp = ss (np.s ++ vp.s ! np.n) ; - ConjS c A B = ss (A.s ++ c.s ++ B.s) ; - ConjVP c A B = {s = \\n => A.s ! n ++ c.s ++ B.s ! n} ; - ConjNP c A B = {s = A.s ++ c.s ++ B.s ; n = c.n} ; - - John = pn "John" ; - Mary = pn "Mary" ; - Bill = pn "Bill" ; - Walk = vp "walk" ; - Run = vp "run" ; - Swim = vp "swim" ; - - And = {s = "and" ; n = Pl} ; - Or = pn "or" ; - -param - Num = Sg | Pl ; - -oper - vp : Str -> {s : Num => Str} = \run -> { - s = table { - Sg => run + "s" ; - Pl => run - } - } ; - - pn : Str -> {s : Str ; n : Num} = \bob -> { - s = bob ; - n = Sg - } ; - - ss : Str -> {s : Str} = \s -> {s = s} ; - -} -- cgit v1.2.3