Jetzt noch das Abwechseln zwischen (∃x) und (x) ausdrücken. Dann aber die Allgemeinheit der Form wie in der Ancestral Relation!