which warship commissioned on 1787-05-26?
(AND user.patrick.default_domain.warship_v1_1 (JOIN user.patrick.default_domain.warship_v1_1.commissioned 1787-05-26^^http://www.w3.org/2001/XMLSchema#date))