prove formally; demonstrate by a mathematical, formal proof  
<verb.cognition> freq. cnt.: 4 freq. cnt.: 4
<verb.cognition> freq. cnt.: 4 freq. cnt.: 4
| prove |   | 
verb frames
Somebody ----s something
semantic pointers
domain of synset (topic)
hypernym
