on 1986-05-03, which ship was launched?
(AND boats.ship (JOIN boats.ship.launched 1986-05-03^^http://www.w3.org/2001/XMLSchema#date))