Ja, es ist einfacher, sicherer und allgemeiner. Vielleicht kann man sich auch noch auf eine andere Syntax einigen. Man kann im vorliegenden Fall ein paar Klammern sparen, wenn man festlegt, dass Quantoren nicht ähnlich wie Präfixoperatoren recht eng binden, sondern ihr Körper ein allgemeiner logischer Ausdruck ist und also "soweit wie möglich nach rechts" geht. In kontemporären Typentheoretikerkreisen (also meist Informatiker) ist das einigermaßen verbreitet. Auch ist die Verwendung von . statt : dort recht üblich. Das sähe dann so aus ( ist kein Bestandteil von logischen Ausdrücken, "soweit wie möglich nach rechts" endet dort zwangsläufig):