which ships have imo/ir number after 9524231, and were also built by aker yards?
(AND boats.ship (AND (ge boats.ship.imo_lr_identification_number 9524231^^http://www.w3.org/2001/XMLSchema#integer) (JOIN (R boats.ship_builder.ships_built) m.0fpmvy)))