Synset
proof of a logical theorem
<noun.communication>
logical proof
semantic pointers
hypernym
proof