set B = BASSModel R,BASSIGN;
thus not the BasicAssign of (BASSModel R,BASSIGN) is empty ; :: according to MODELC_1:def 29 :: thesis: not BASSModel R,BASSIGN is empty
thus not BASSModel R,BASSIGN is empty ; :: thesis: verum