['they', 'arrive', 'EmptyParameter', 'destination', 'at']
['<PRP>', 'escape-51.1-1', 'EmptyParameter', "Synset('extremity.n.04')", 'at']
They have arrived at their destination.
<PRP> have arrived at <PRP> Synset('extremity.n.04').