['figure', 'provide', 'he', 'proof', 'with']
["Synset('device.n.02')", 'fulfilling-13.4.1', '<PRP>', "Synset('discovery.n.01')", 'with']
The mysterious figure provided him with proof.
the mysterious Synset('device.n.02') provided <PRP> with Synset('discovery.n.01').