Assertion: aircraft carrier | /r/HasProperty | nimitz
Facets:
Source sentences:
text: On 23 May 2007, John C. Stennis, along with eight other warships including the aircraft carrier Nimitz and amphibious assault ship Bonhomme Richard, passed through the Strait of Hormuz.