(r_i1 = 0)  + AF (o1 = 1);
(r_i1 = 0)  + AF (o2 = 1);
(o1=0)*(o2=0);