Wie lautet aber der Satz “F wird von ebensovielen Gegenständen befriedigt wie G”? Man würde meinen: “(n) :(nx).Fx . & . (nx)Gx”.