['damage', 'prove', 'greater', 'EmptyParameter', 'EmptyParameter']
["Synset('outgo.n.01')", 'indicate-78', "Synset('greater.a.01')", 'EmptyParameter', 'EmptyParameter']
Damage had proven to be greater.
Synset('outgo.n.01') had proven to be Synset('greater.a.01').