['she', 'leave', 'EmptyParameter', 'EmptyParameter', 'EmptyParameter'] ['he', 'disprove', 'Theory', 'EmptyParameter', 'EmptyParameter']
['<PRP>', 'leave-51.2-1', 'EmptyParameter', 'EmptyParameter', 'EmptyParameter'] ['<PRP>', 'deduce-97.2', "Synset('thinking.n.01')", 'EmptyParameter', 'EmptyParameter']
She's about to leave that he's about to disprove Shlezholt's Theory.
She's about to leave that he's about to disprove Shlezholt's Synset('thinking.n.01').