summaryrefslogtreecommitdiff
path: root/transfer/examples/reflexive/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/reflexive/English.gf
parent33eb6d899fef48f2d38a92bc0fab66ff585be553 (diff)
removed transfer from gf3
Diffstat (limited to 'transfer/examples/reflexive/English.gf')
-rw-r--r--transfer/examples/reflexive/English.gf54
1 files changed, 0 insertions, 54 deletions
diff --git a/transfer/examples/reflexive/English.gf b/transfer/examples/reflexive/English.gf
deleted file mode 100644
index 73fa00e91..000000000
--- a/transfer/examples/reflexive/English.gf
+++ /dev/null
@@ -1,54 +0,0 @@
-concrete English of Abstract = {
-
-lincat
- S = { s : Str } ;
- V2 = {s : Num => Str} ;
- Conj = {s : Str ; n : Num} ;
- NP = {s : Str ; n : Num; g : Gender} ;
-
-lin
- PredV2 v s o = ss (s.s ++ v.s ! s.n ++ o.s) ;
- ReflV2 v s = ss (s.s ++ v.s ! s.n ++ self ! s.n ! s.g) ;
- -- FIXME: what is the gender of "Mary or Bill"?
- ConjNP c A B = {s = A.s ++ c.s ++ B.s ; n = c.n; g = A.g } ;
-
- John = pn Masc "John" ;
- Mary = pn Fem "Mary" ;
- Bill = pn Masc "Bill" ;
- See = regV2 "see" ;
- Whip = regV2 "whip" ;
-
- And = {s = "and" ; n = Pl } ;
- Or = { s = "or"; n = Sg } ;
-
-param
- Num = Sg | Pl ;
- Gender = Neutr | Masc | Fem ;
-
-oper
- regV2 : Str -> {s : Num => Str} = \run -> {
- s = table {
- Sg => run + "s" ;
- Pl => run
- }
- } ;
-
- self : Num => Gender => Str =
- table {
- Sg => table {
- Neutr => "itself";
- Masc => "himself";
- Fem => "herself"
- };
- Pl => \\g => "themselves"
- };
-
- pn : Gender -> Str -> {s : Str ; n : Num; g : Gender} = \gen -> \bob -> {
- s = bob ;
- n = Sg ;
- g = gen
- } ;
-
- ss : Str -> {s : Str} = \s -> {s = s} ;
-
-}