半假设陈述

半假设陈述   

即“混范畴陈述”。