p[0,1,1,1] S are RW;
p[0,1,1,1] (S and RW) are UK;
?:p[] S are (RW and UK);