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