w[=Gn[A],>[>>[B]]]