major premise: the premise of a syllogism that contains the major term (which is the predicate of the conclusion)
premise: a statement that is assumed to be true and from which a conclusion can be drawn
navy yard: a military shipyard