Doc P !(D<G>B)