['facility', 'proceed', 'EmptyParameter', 'warp', 'to'] ['facility', 'fly', 'EmptyParameter', 'Mars', 'to']
["Synset('whole.n.02')", 'begin-55.1', 'EmptyParameter', "Synset('cord.n.01')", 'to'] ["Synset('whole.n.02')", 'nonvehicle-51.4.2-1', 'EmptyParameter', "Synset('mars.n.01')", 'to']
With that, the facility proceeds to warp and flies to Mars.
with that, the Synset('whole.n.02') proceeds to Synset('cord.n.01') and flies to Synset('mars.n.01').