Ich glaube die Zerlegung hat überall dort Sinn, wo sie anzeigt daß eine interne Beziehung zwischen einem (∃2)x … einem (∃1)x … und dem (∃3)x … besteht. Besteht aber nicht immer eine solche Beziehung zwischen (∃xyz), (∃xy) … & (∃x) …?