%-

(:def building
  (:oneof
    (| "the Pentagon")
    (| "the Sistine Chapel")))

(:def bigCity
  (:oneof
    (| "Istanbul")
    (| "Paris")
    (| "Milan")
    (| "Saigon")
    (| "Naples")
    (| "New York")
    (| "LA")
    (| "Cairo")
    (| "Budapest")
    (| "Edinburgh")
    (| "London")
    (| "Berlin")
    (| "Hong Kong")
    (| "Macau")
    (| "Tokyo")
    (| "Seoul")
    (| "Lima")
    (| "Madrid")
    (| "Barcelona")
    (| "Krakow")
    (| "Moscow")
    (| "St. Petersburg")
    (| "San Fransisco")
    (| "Manila")
    (| "Kuala Lumpur")
    (| "Kyoto")
    (| "Kolkata")
    (| "New Delhi")
    (| "Lhasa")
    (| "Delhi")
    (| "São Paolo")))