7 is the number of inversions on which amusement ride?
(AND amusement_parks.ride (JOIN amusement_parks.ride.inversions 7^^http://www.w3.org/2001/XMLSchema#integer))