concrete CityEng of City = {

lincat S, City, Country, Adj = Str ;

lin
  PredIn ci co = ci ++ "is in" ++ co ;
  PredAdj ci ad = ci ++ "is" ++ ad ;
  Capital co = "the capital of" ++ co ;
  CountryAdj ad = "the" ++ ad ++ "country" ;
  Stockholm = "Stockholm" ;
  Helsinki = "Helsinki" ;
  Sweden = "Sweden" ;
  Finland = "Finland" ;
  Swedish = "Swedish" ;
  Finnish = "Finnish" ;
}