Wenn ich den Satz schreiben “(Ex,y,z).F( ) & (Ex,y[,|)].G( ) & Jnd.C.(Ex,y,z,u,v). .F( ) . V .G( )” so muss ich, um die Extension der rechten Klammer richtig hinschreiben zu können, sie in zwei Teilen schreiben, die den beiden linken Extensionen 1-1 zugeordnet sind. Ich bekommen also hier (und im einfacheren Fall ist es natürlich dasselbe) zuerst den Satz (E3x).Fx. & .(E2x). Gx & ind.C.(E3 + 2 x).Fx. V .Gx.