`y' should be interpreted as ``on this position a term with precedence lower or equal to the precedence of the functor should occur''. For `x' the precedence of the argument must be strictly lower.
The word is not easy for understanding. `x' v.s. `y', which has the lower precedence?