"a subsidiary proposition that is assumed to be true in order to prove another proposition" . "Wordnet Synset 06764547-n" . .