Home

Synset

proof of a mathematical theorem
<noun.communication>

semantic pointers
hypernym