Es scheint als wäre „(x,φ).φx” die Form einer Tatsache Φa ∙ Ψb ∙ Θc etc.
(Ähnlich wäre (∃x).φx die Form von φ(a) wie ich auch wirklich glaubte.)