which amusement park shut down on 2002?
(AND amusement_parks.park (JOIN amusement_parks.park.closed 2002^^http://www.w3.org/2001/XMLSchema#gYear))