what warship was commisioned on 1945?
(AND user.patrick.default_domain.warship_v1_1 (JOIN user.patrick.default_domain.warship_v1_1.commissioned 1945^^http://www.w3.org/2001/XMLSchema#gYear))