pos: DT NNP NNP VBZ DT NN NN WDT VBZ CD JJ NNS , CC EX VBP CD JJ NNP NNS IN DT NN IN DT NN IN CD .
tokens: The Carl Vinson leads a battle group that includes seven other ships , and there are nine other U.S. ships in the Gulf for a total of 20 .
ltokens: Most of the Marines are on three ships in the Tarawa Amphibious Readiness Group .