lemma 1

noundomain: communication
Princeton WordNet [ver.3.1]
EnglishEnglish
Definition

a subsidiary proposition that is assumed to be true in order to prove another proposition

Project co-funded by European funds

FENG