Der Vorgang entspricht eher einem solchen Schema (∃xyz) ∙ φ( ) ∙ (∃u, v, w) ∙ φ( ) . ⊃ . (∃xyzuvw) ∙ φ( ) wo x,y,z,u,v,w etwa die Orte des Raumes bezeichnen würden.