CITY
[
LIB_CITY:z   {<choice  $z>}
]

LIB_CITY [
  LIB_US_CITY:a
  LIB_INTL_CITY:a
] {return($a)}

LIB_US_CITY [
  ( albuquerque ?( new mexico ) 
  ) {return([<city "albuquerque"> <state "NM"> <country "usa">])}

  ( atlanta ?georgia 
  ) {return([<city "atlanta"> <state "GA"> <country "usa">])}

  ( austin ?texas 
  ) {return([<city "austin"> <state "TX"> <country "usa">])}

  ( baltimore ?maryland 
  ) {return([<city "baltimore"> <state "MD"> <country "usa">])}

  ( boston ?massachusetts 
  ) {return([<city "boston"> <state "MA"> <country "usa">])}

  ( charlotte ?( north carolina ) 
  ) {return([<city "charlotte"> <state "NC"> <country "usa">])}

  ( chicago ?illinois 
  ) {return([<city "chicago"> <state "IL"> <country "usa">])}

  ( cincinnati ?ohio 
  ) {return([<city "cincinnati"> <state "OH"> <country "usa">])}

  ( cleveland ?ohio 
  ) {return([<city "cleveland"> <state "OH"> <country "usa">])}

  ( columbus ?ohio 
  ) {return([<city "columbus"> <state "OH"> <country "usa">])}

  ( dallas ?texas 
  ) {return([<city "dallas"> <state "TX"> <country "usa">])}

  ( denver ?colorado 
  ) {return([<city "denver"> <state "CO"> <country "usa">])}

  ( detroit ?michigan 
  ) {return([<city "detroit"> <state "MI"> <country "usa">])}

  ( fort lauderdale ?florida 
  ) {return([<city "fort lauderdale"> <state "FL"> 
             <country "usa">])}

  ( honolulu ?hawaii 
  ) {return([<city "honolulu"> <state "HI"> <country "usa">])}

  ( houston ?texas 
  ) {return([<city "houston"> <state "TX"> <country "usa">])}

  ( indianapolis ?indiana 
  ) {return([<city "indianapolis"> <state "IN"> <country "usa">])}

  ( kansas city ?missouri 
  ) {return([<city "kansas city"> <state "MO"> <country "usa">])}

  ( ?las vegas ?nevada 
  ) {return([<city "las vegas"> <state "NV"> <country "usa">])}

  [ ( los angeles ?california )
    ( l a )
  ] {return([<city "los angeles"> <state "CA"> <country "usa">])}

  ( memphis ?tennessee 
  ) {return([<city "memphis"> <state "TN"> <country "usa">])}

  ( miami ?florida 
  ) {return([<city "miami"> <state "FL"> <country "usa">])}

  ( milwaukee ?wisconsin 
  ) {return([<city "milwaukee"> <state "WI"> <country "usa">])}

  ( minneapolis ?minnesota 
  ) {return([<city "minneapolis"> <state "MN"> <country "usa">])}

  ( nashville ?tennessee 
  ) {return([<city "nashville"> <state "TN"> <country "usa">])}

  ( new orleans ?louisiana 
  ) {return([<city "new orleans"> <state "LA"> <country "usa">])}

  ( new york  ?( new york ) 
  ) {return([<city "new york"> <state "NY"> <country "usa">])}

  ( newark ?( new jersey ) 
  ) {return([<city "newark"> <state "NJ"> <country "usa">])}

  ( oakland ?california 
  ) {return([<city "oakland"> <state "CA"> <country "usa">])}

  ( orlando ?florida 
  ) {return([<city "orlando"> <state "FL"> <country "usa">])}

  ( philadelphia ?pennsylvania 
  ) {return([<city "philadelphia"> <state "PA"> <country "usa">])}

  ( phoenix ?arizona 
  ) {return([<city "phoenix"> <state "AZ"> <country "usa">])}

  ( pittsburgh ?pennsylvania 
  ) {return([<city "pittsburgh"> <state "PA"> <country "usa">])}

  ( portland ?oregon 
  ) {return([<city "portland"> <state "OR"> <country "usa">])}

  ( [ ( raleigh ?durham ) ( durham ) ] ?( north carolina ) 
  ) {return([<city "raleigh durham"> <state "NC"> <country "usa">])}

  ( sacramento ?california 
  ) {return([<city "sacramento"> <state "CA"> <country "usa">])}

  ( saint louis ?missouri 
  ) {return([<city "saint louis"> <state "MO"> <country "usa">])}

  ( salt lake  ?utah 
  ) {return([<city "salt lake city"> <state "UT"> <country "usa">])}

  ( san antonio ?texas 
  ) {return([<city "san antonio"> <state "TX"> <country "usa">])}

  ( san diego ?california 
  ) {return([<city "san diego"> <state "CA"> <country "usa">])}

  ( san francisco ?california 
  ) {return([<city "san francisco"> <state "CA"> <country "usa">])}

  ( san jose ?california 
  ) {return([<city "san jose"> <state "CA"> <country "usa">])}

  ( seattle  ?washington 
  ) {return([<city "seattle"> <state "WA"> <country "usa">])}

  ( tampa ?bay ?florida 
  ) {return([<city "tampa bay"> <state "FL"> <country "usa">])}

  [ ( washington d c )
    ( washington )
    ( d c )
  ] {return([<city "washington"> <state "DC"> <country "usa">])}

  ( west palm beach ?florida 
  ) {return([<city "west palm beach"> <state "FL"> <country "usa">])}
]
  
LIB_INTL_CITY [
  ( amsterdam ?[ holland ( ?the netherlands ) ] 
  ) {return([<city "amsterdam"> <country "holland">])}

  ( athens ?greece ) {return([<city "athens"> <country "greece">])}

  ( auckland ?(new zealand) 
  ) {return([<city "auckland"> <country "new zealand">])}

  ( bangkok ?thailand ) {return([<city "bangkok"> <country "thailand">])}

  ( barcelona ?spain ) {return([<city "barcelona"> <country "spain">])}

  ( [ beijing peking ] ?china ) {return([<city "beijing"> <country "china">])}

  ( [ berlin ] ?germany ) {return([<city "berlin"> <country "germany">])}

  ( bombay ?india ) {return([<city "bombay"> <country "india">])}

  ( brisbane ?australia ) {return([<city "brisbane"> <country "australia">])}

  ( brussels ?belgium ) {return([<city "brussels"> <country "belgium">])}

  ( cairo ?egypt ) {return([<city "cairo"> <country "egypt">])}

  ( calgary  ?alberta ?canada 
  ) {return([<city "calgary"> <country "canada">])}

  ( copenhagen ?denmark ) {return([<city "copenhagen"> <country "denmark">])}

  ( dubai ?[ (united arab emirates) (u a e) ] 
  ) {return([<city "dubai"> <country "united arab emirates">])}

  ( dublin ?( ?(republic of) ireland ) 
  ) {return([<city "dublin"> <country "republic of ireland">])}

  ( dusseldorf ?germany ) {return([<city "dusseldorf"> <country "germany">])}

  ( frankfurt ?germany ) {return([<city "frankfurt"> <country "germany">])}

  ( hamburg ?germany ) {return([<city "hamburg"> <country "germany">])}

  ( helsinki ?finland) {return([<city "helsinki"> <country "finland">])}

  ( hong kong ?china ) {return([<city "hong kong"> <country "china">])}

  ( istanbul ?turkey ) {return([<city "istanbul"> <country "turkey">])}

  ( jakarta ?indonesia ) {return([<city "jakarta"> <country "indonesia">])}

  ( johannesburg ?( south africa ) 
  ) {return([<city "johannesburg"> <country "south africa">])}

  ( kuala lumpur ?malaysia 
  ) {return([<city "kuala lumpur"> <country "malaysia">])}

  ( lisbon ?portugal ) {return([<city "lisbon"> <country "portugal">])}

  ( london ?SUB_UK ) {return([<city "london"> <country "england">])}

  ( madrid ?spain ) {return([<city "madrid"> <country "spain">])}

  ( malaga ?spain ) {return([<city "malaga"> <country "spain">])}

  ( manchester ?SUB_UK ) {return([<city "manchester"> <country "england">])}

  ( manila ?( ?the philippines ) 
  ) {return([<city "manila"> <country "philippines">])}

  ( melbourne ?australia 
  ) {return([<city "melbourne"> <country "australia">])}

  ( mexico city ?mexico ) {return([<city "mexico city"> <country "mexico">])}

  ( milan ?italy ) {return([<city "milan"> <country "italy">])}

  ( montreal ?canada ) {return([<city "montreal"> <country "canada">])}

  ( moscow ?russia ) {return([<city "moscow"> <country "russia">])}

  ( munich ?germany ) {return([<city "munich"> <country "germany">])}

  ( nagoya ?japan ) {return([<city "nagoya"> <country "japan">])}

  ( ?new delhi ?india ) {return([<city "new delhi"> <country "india">])}

  ( nice ?france ) {return([<city "nice"> <country "france">])}

  ( osaka ?japan ) {return([<city "osaka"> <country "japan">])}

  ( paris ?france ) {return([<city "paris"> <country "france">])}

  ( pusan ?( ?south korea ) 
  ) {return([<city "pusan"> <country "south korea">])}

  ( rio ?( de janeiro ) ?brazil 
  ) {return([<city "rio de janeiro"> <country "brazil">])}

  ( riyadh ?( saudi arabia ) 
  ) {return([<city "riyadh"> <country "saudi arabia">])}

  ( rome ?italy ) {return([<city "rome"> <country "italy">])}

  ( san juan ?( puerto rico ) 
  ) {return([<city "san juan"> <country "puerto rico">])}

  ( sao paulo ?brazil ) {return([<city "sao paulo"> <country "brazil">])}

  ( sapporo ?japan ) {return([<city "sapporo"> <country "japan">])}

  ( seoul ?( ?south korea ) 
  ) {return([<city "seoul"> <country "south korea">])}

  ( shanghai ?china ) {return([<city "shanghai"> <country "china">])}

  ( singapore ) {return([<city "singapore"> <contry "singapore">])}

  ( stockholm ?sweden ) {return([<city "stockholm"> <country "sweden">])}

  ( stuttgart ?germany ) {return([<city "stuttgart"> <country "germany">])}

  ( sydney ?australia ) {return([<city "sydney"> <country "australia">])}

  ( taipei ?taiwan ) {return([<city "taipei"> <country "taiwan">])}

  ( tel aviv ?israel ) {return([<city "tel aviv"> <country "israel">])}

  ( tokyo ?japan ) {return([<city "tokyo"> <country "japan">])}

  ( toronto ?ontario ?canada 
  ) {return([<city "toronto"> <country "canada">])}

  ( vancouver ?[ ( british columbia ) ( b c ) ] ?canada 
  ) {return([<city "vancouver"> <country "canada">])}

  ( vienna ?austria ) {return([<city "vienna"> <country "austria">])}

  ( zurich ?switzerland ) {return([<city "zurich"> <country "switzerland">])}
]

SUB_UK [
 england
 ( united kingdom )
 ( great britain )
 ( u k )
]