what warship v1.1 has a length that's no less than 62.0?
(AND user.patrick.default_domain.warship_v1_1 (ge boats.ship.length_overall 62.0^^http://www.w3.org/2001/XMLSchema#float))