1 files changed, 8 insertions, 0 deletions
diff --git a/src/PGF/doc/Ex.gf b/src/PGF/doc/Ex.gf
new file mode 100644
index 000000000..bd0b03483
--- /dev/null
+++ b/src/PGF/doc/Ex.gf
@@ -0,0 +1,8 @@
+abstract Ex = {
+  cat 
+    S ; NP ; VP ;
+  fun 
+    Pred : NP -> VP -> S ;
+    She, They : NP ;
+    Sleep : VP ;
+}