Von den Dingen || a, b, c, d haben nur 3 die Eigenschaft φ. Das kann durch die Disjunktion ausgedrückt werden:
φa ∙ φb ∙ φc ⌵ φa ∙ φb ∙ φd ⌵ φa ∙ φc ∙ φd ⌵ φb ∙ φc ∙ φd.
Offenbar auch ein Fall wo eine Zahlangabe sich nicht auf einen Begriff bezieht. (Obwohl man es mit Hilfe des || mittels des „ = ” auch so erscheinen lassen kann.)