['they', 'do', 'EmptyParameter', 'EmptyParameter', 'EmptyParameter'] ['it', 'destroy', 'ship', 'EmptyParameter', 'EmptyParameter']
['<PRP>', 'act-114', 'EmptyParameter', 'EmptyParameter', 'EmptyParameter'] ['<PRP>', 'destroy-44', "Synset('craft.n.02')", 'EmptyParameter', 'EmptyParameter']
If they do, it will almost certainly destroy the ship.
if <PRP> do, <PRP> will almost certainly destroy the Synset('craft.n.02').