Home

Synset

logically deductive
<adj.all>

sample sentences

"formal proof"
semantic pointers
similar to