diff options
Diffstat (limited to 'examples/test/paraphrase/City.gf')
| -rw-r--r-- | examples/test/paraphrase/City.gf | 26 |
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 ; - - -} |
