G:=MA(C,10) MA(C,21) AND MA(C,5) MA(C,10) AND MA(C,3) MA(C,55); REF(V4,1)=1 AND V5 AND V6 AND V7 AND G ;