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