what olympic games has more than 172 number of events?
(AND olympics.olympic_games (gt olympics.olympic_games.number_of_events 172^^http://www.w3.org/2001/XMLSchema#integer))