Unlike the second example, instead of using the pattern AwB, the first joint representation adopts the pattern BwA for the SUB expression node.
our model is able to work without the underlying knowledge on whether an operator is commutative or not.