Synset
logically deductive
<adj.all>
formal
sample sentences
"formal proof"
semantic pointers
similar to
logical