diff options
Diffstat (limited to 'transfer/examples/aggregation/English.gf')
| -rw-r--r-- | transfer/examples/aggregation/English.gf | 41 |
1 files changed, 0 insertions, 41 deletions
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} ; - -} |
