['they', 'detect', 'crater', 'EmptyParameter', 'EmptyParameter'] ['crater', 'prove', 'theory', 'EmptyParameter', 'EmptyParameter'] ['virus', 'travel', 'EmptyParameter', 'planet', 'to']
['<PRP>', 'see-30.1', "Synset('object.n.01')", 'EmptyParameter', 'EmptyParameter'] ["Synset('object.n.01')", 'deduce-97.2', "Synset('thinking.n.01')", 'EmptyParameter', 'EmptyParameter'] ["Synset('program.n.07')", 'run-51.3.2', 'EmptyParameter', "Synset('natural_object.n.01')", 'to']
They have detected a crater, which could prove Phlox's theory that the virus traveled to the planet on a meteorite.
<PRP> have detected a crater, which could prove Phlox's Synset('thinking.n.01') that the Synset('program.n.07') traveled to the Synset('natural_object.n.01') on a Synset('extraterrestrial_object.n.01').