['Enterprise', 'have', 'proceed', 'EmptyParameter', 'EmptyParameter'] ['Enterprise', 'proceed', 'destroy', 'station', 'EmptyParameter']
['<VESSEL>1', 'own-100', 'begin-55.1', 'EmptyParameter', 'EmptyParameter'] ['<VESSEL>1', 'begin-55.1', 'destroy-44', "Synset('frequency.n.01')", 'EmptyParameter']
Enterprise has to then proceed to destroy the station manually.
<VESSEL>1 has to then proceed to destroy the Synset('frequency.n.01') manually.