changed names of resource-1.3; added a note on homepage on release

1 files changed, 13 insertions, 0 deletions

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"}} ;
+}