From e9e80fc389365e24d4300d7d5390c7d833a96c50 Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 25 Jun 2008 16:54:35 +0000 Subject: changed names of resource-1.3; added a note on homepage on release --- src/PGF/doc/Eng.gf | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 src/PGF/doc/Eng.gf (limited to 'src/PGF/doc/Eng.gf') diff --git a/src/PGF/doc/Eng.gf b/src/PGF/doc/Eng.gf new file mode 100644 index 000000000..c64f46313 --- /dev/null +++ b/src/PGF/doc/Eng.gf @@ -0,0 +1,13 @@ +concrete Eng of Ex = { + lincat + S = {s : Str} ; + NP = {s : Str ; n : Num} ; + VP = {s : Num => Str} ; + param + Num = Sg | Pl ; + lin + Pred np vp = {s = np.s ++ vp.s ! np.n} ; + She = {s = "she" ; n = Sg} ; + They = {s = "they" ; n = Pl} ; + Sleep = {s = table {Sg => "sleeps" ; Pl => "sleep"}} ; +} -- cgit v1.2.3