summaryrefslogtreecommitdiff
path: root/transfer/examples/aggregation/English.gf
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2008-06-26 21:05:01 +0000
committeraarne <aarne@cs.chalmers.se>2008-06-26 21:05:01 +0000
commitfb1d9b7d2c3c8261fc5a2ce3698e6749458b207a (patch)
tree466adc81f2c6ac803d20804863927c076e2b243a /transfer/examples/aggregation/English.gf
parent33eb6d899fef48f2d38a92bc0fab66ff585be553 (diff)
removed transfer from gf3
Diffstat (limited to 'transfer/examples/aggregation/English.gf')
-rw-r--r--transfer/examples/aggregation/English.gf41
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} ;
-
-}