> as lemmas

1648 R. Rich Let. from Navy 6 This Ship is called the Satisfaction, a Navy-ship of 28 Guns.

1841 Amer. Railroad Jrnl. 1 Nov. 285 It is charged that the ‘navy ships will cost upwards of $900,000 each’.

1995 Clean Ships, Clean Ports, Clean Oceans ii. 46 Navy vessels typically carry much larger crews than do merchant ships (Navy ships also may carry troops).