"formal expression containing variables; becomes a sentence when variables are replaced by constants" . "Wordnet Synset 06296883-n" . .