lemma 1
noundomain: communication
Princeton WordNet [ver.3.1]
Definition
a subsidiary proposition that is assumed to be true in order to prove another proposition
a subsidiary proposition that is assumed to be true in order to prove another proposition
