It can be interpreted as a variable that conjoins variables y and z together.
we introduce a post-processing step where the subexpression coord(x, y, z) ∧ arg 1 (e e , x a ) is replaced with arg 1 (e e , y a ) ∧ arg 1 (e e , z a ), and the x variable is removed.