summaryrefslogtreecommitdiff
path: root/book/examples/chapter3/Discont.gf
diff options
context:
space:
mode:
Diffstat (limited to 'book/examples/chapter3/Discont.gf')
-rw-r--r--book/examples/chapter3/Discont.gf11
1 files changed, 0 insertions, 11 deletions
diff --git a/book/examples/chapter3/Discont.gf b/book/examples/chapter3/Discont.gf
deleted file mode 100644
index 879bedc4c..000000000
--- a/book/examples/chapter3/Discont.gf
+++ /dev/null
@@ -1,11 +0,0 @@
-abstract Discont = {
- cat
- S ; Cl ; NP ; VP ; AP ;
- fun
- DeclCl : Cl -> S ;
- QuestCl : Cl -> S ;
- PredVP : NP -> VP -> Cl ;
- CompAP : AP -> VP ;
- John : NP ;
- Old : AP ;
-}