forked from GitHub/gf-core
moved paraphrases to examples/test/, meant for small grammars used for testing various aspects
This commit is contained in:
26
examples/test/paraphrase/City.gf
Normal file
26
examples/test/paraphrase/City.gf
Normal file
@@ -0,0 +1,26 @@
|
||||
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 ;
|
||||
|
||||
|
||||
}
|
||||
Reference in New Issue
Block a user