find all ships built by hyundai with imo/ir number after 7528611
(AND boats.ship (AND (ge boats.ship.imo_lr_identification_number 7528611^^http://www.w3.org/2001/XMLSchema#integer) (JOIN (R boats.ship_builder.ships_built) m.02bgb6)))