Wie ist es mit den Sätzen:
(∃x,y,z)xRy ∙ xRz ∙ yRx ∙ yRz ∙ zRx ∙ zRy, (∃x,y,z,u) etc.
      oder
(∃x,y)xRy ⌵ yRx
(∃x,y,z)xRy ⌵ xRz ⌵ yRx ⌵ yRz ⌵ zRx ⌵ zRy
      etc.
     Hier sind alle Argumentstellen gleichberechtigt. (Ich brauche keine Satzordnung zu machen.)