['he', 'inform', 'Travers', 'EmptyParameter', 'EmptyParameter'] ['she', 'have', 'use', 'EmptyParameter', 'EmptyParameter'] ['she', 'use', 'transporter', 'EmptyParameter', 'EmptyParameter']
['<PRP>', 'tell-37.2', '<PERSON>1', 'EmptyParameter', 'EmptyParameter'] ['<PRP>', 'own-100', 'use-105.1', 'EmptyParameter', 'EmptyParameter'] ['<PRP>', 'use-105.1', "Synset('lifting_device.n.01')", 'EmptyParameter', 'EmptyParameter']
He informs Travers, so she will have to use the vessel's transporter to return to Earth.
<PRP> informs Travers, so <PRP> will have to use the vessel's Synset('lifting_device.n.01') to return to <LOCATION>7.