a cruise ship speed of 15.0 belongs to which ship class?
(AND boats.ship_class (JOIN boats.ship_class.cruise_speed_knots 15.0^^http://www.w3.org/2001/XMLSchema#float))