( c in Modes \/ Attrs or c in Funcs ) by XBOOLE_0:def 3;
then ( c in Modes or c in Attrs or c in Funcs ) by XBOOLE_0:def 3;
hence the_base_of is Element of [:QuasiLoci,NAT:] by MCART_1:10; :: thesis: verum