relating to the armed forces or used in warfare, or professional soldiers.