w[`[[A],>[B]]]