<<1>>X p /\ <<2>>X q /\ <<1,2>>X r /\ ~<<1>>X r /\ ~<<3>>X q