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