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