summaryrefslogtreecommitdiff
path: root/examples/test/paraphrase/City.gf
diff options
context:
space:
mode:
Diffstat (limited to 'examples/test/paraphrase/City.gf')
-rw-r--r--examples/test/paraphrase/City.gf26
1 files changed, 0 insertions, 26 deletions
diff --git a/examples/test/paraphrase/City.gf b/examples/test/paraphrase/City.gf
deleted file mode 100644
index 2ea8a10ff..000000000
--- a/examples/test/paraphrase/City.gf
+++ /dev/null
@@ -1,26 +0,0 @@
-abstract City = {
-
-cat S ; City ; Country ; Adj ;
-
-data
- PredIn : City -> Country -> S ;
-fun
- PredAdj : City -> Adj -> S ;
- Capital : Country -> City ;
- CountryAdj : Adj -> Country ;
-data
- Stockholm, Helsinki : City ;
- Sweden, Finland : Country ;
- Swedish, Finnish : Adj ;
-
-def
- PredAdj city x = PredIn city (CountryAdj x) ;
-
- Capital Finland = Helsinki ;
- Capital Sweden = Stockholm ;
-
- CountryAdj Finnish = Finland ;
- CountryAdj Swedish = Sweden ;
-
-
-}