Wenn ich den Satz schreibe “(x,y,z).F( ) & (x,y).G( ) & Ind..(x,y,z,u,v). .F( ) ..G( )” so muß 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 bekomme also hier (und im einfacheren Fall ist es natürlich dasselbe) zuerst den Satz (3x).Fx. & .(2x). Gx & Ind..(3 + 2 x).Fx..Gx.