what type of ship is a class javelin dinghy?
(AND boats.ship_type (JOIN boats.ship_type.ship_class m.03mmss))