what ship class has a cruise speed of 25.5?
(AND boats.ship_class (JOIN boats.ship_class.cruise_speed_knots 25.5^^http://www.w3.org/2001/XMLSchema#float))