Synset
a person skilled at symbolic logic
<noun.person>
symbolic logician
semantic pointers
hypernym
logician, logistician