summaryrefslogtreecommitdiff
path: root/book/examples/chapter9/AnaphoraIta.gf
diff options
context:
space:
mode:
authoraarne <aarne@chalmers.se>2011-01-11 15:46:43 +0000
committeraarne <aarne@chalmers.se>2011-01-11 15:46:43 +0000
commite7439d65b0e153434d3acc07df6e2a0972ee79ca (patch)
tree36716eec18256eeb600b4a552d9cc80f8ad7f16f /book/examples/chapter9/AnaphoraIta.gf
parent276327f7f264e770478a6d8c6e683266505b0a55 (diff)
gf-book web page index and toc
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 [] ; ----
-
-}