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)