Die Definition des Begriffumfang die ich oben gegeben habe stimmt übrigens gar nicht, sie müßte etwa lauten:

φa ∙ φb ∙ φc ∙ ~[[|(]∃x,y,z,u) ∙ φx ∙ φy ∙ φz ∙ φu = (a,b,c){φ( )}