(A,T,x,p) - or(Once([A;S;z;0]),sofar(not([B;T;y;0])))



