['correction', 'prove', 'wrong', 'EmptyParameter', 'EmptyParameter']
["Synset('measure.n.02')", 'declare-29.4-1-1', "Synset('wrong.a.02')", 'EmptyParameter', 'EmptyParameter']
But his corrections proved to be wrong.
but <PRP> Synset('measure.n.02') proved to be Synset('wrong.a.02').