['Enterprise', 'depart', 'spacedock', 'repair', 'with']
['<VESSEL>0', 'resign-10.11', 'spacedock', "Synset('state.n.02')", 'with']
A few hours later, Enterprise departs spacedock with her repairs and upgrades complete.
<DURATION>3 later, <VESSEL>0 departs spacedock with <PRP> Synset('state.n.02') and Synset('change_of_state.n.01') Synset('complete.a.01').