<<1,2,3>>G<<2,3>>G(p/\q) /\ <<4>>X ~p