While the commutative multiplicative conjunction, ®, allows to swap composites, e.g., AOB B0 A, it is not the case for the non-commutative one.
the expression, have/E(i,x)1, can further be reduced to have/G[410ND without the loss of the order between i and x.