by whom was warship v1.1 built with a draught of more than 5.12?
(AND boats.ship_builder (JOIN boats.ship_builder.ships_built (ge boats.ship.draught 5.12^^http://www.w3.org/2001/XMLSchema#float)))