"expressible in symbolic form" . "Wordnet Synset 00946890-s" . .