Synset
the modal logic of obligation and permissibility
<noun.cognition>
deontic logic
semantic pointers
hypernym
modal logic