testsuite/runtime/paraphrase/City.gf


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
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 ;


}