['ship', 'dock', 'EmptyParameter', 'enterprise', 'with']
["Synset('craft.n.02')", 'pocket-9.10-1', 'EmptyParameter', '<VESSEL>0', 'with']
A ship is docked with Enterprise.
a Synset('craft.n.02') is docked with <VESSEL>0.