summaryrefslogtreecommitdiff
path: root/book/examples/chapter9/AnaphoraIta.gf
diff options
context:
space:
mode:
Diffstat (limited to 'book/examples/chapter9/AnaphoraIta.gf')
-rw-r--r--book/examples/chapter9/AnaphoraIta.gf17
1 files changed, 0 insertions, 17 deletions
diff --git a/book/examples/chapter9/AnaphoraIta.gf b/book/examples/chapter9/AnaphoraIta.gf
deleted file mode 100644
index 288872160..000000000
--- a/book/examples/chapter9/AnaphoraIta.gf
+++ /dev/null
@@ -1,17 +0,0 @@
-concrete AnaphoraIta of Anaphora = TestSemanticsIta - [she_NP] **
- open ResIta, Prelude, Formal in {
-
-lincat
- Proof = {} ;
-
-lin
- IfS A B = {s = "se" ++ A.s ++ B.s} ;
-
- AnaNP cn _ _ = case cn.g of {
- Masc => pronNP "lui" "lo" "gli" Masc Sg Per3 ;
- Fem => pronNP "lei" "la" "le" Fem Sg Per3
- } ;
-
- pe _ _ = constant [] ; ----
-
-}