what ship has a length at waterline less than 32.0?
(AND boats.ship (lt boats.ship.length_at_waterline 32.0^^http://www.w3.org/2001/XMLSchema#float))