['Enterprise', 'leave', 'spacedock', 'EmptyParameter', 'EmptyParameter'] ['Enterprise', 'jump', 'EmptyParameter', 'warp', 'into']
['<VESSEL>2', 'leave-51.2-1', 'spacedock', 'EmptyParameter', 'EmptyParameter'] ['<VESSEL>2', 'run-51.3.2', 'EmptyParameter', "Synset('cord.n.01')", 'into']
And so, the NX-01 Enterprise leaves spacedock and jumps into warp.
and so, the nx-01 <VESSEL>2 leaves spacedock and jumps into Synset('cord.n.01').