diff options
Diffstat (limited to 'book/examples/chapter9/AnaphoraIta.gf')
| -rw-r--r-- | book/examples/chapter9/AnaphoraIta.gf | 17 |
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 [] ; ---- - -} |
