['ship', 'leave', 'Enterprise', 'EmptyParameter', 'EmptyParameter']
["Synset('craft.n.02')", 'become-109.1-1-1', '<VESSEL>0', 'EmptyParameter', 'EmptyParameter']
Degra's ship leaves Enterprise.
Degra's Synset('craft.n.02') leaves <VESSEL>0.