Und da man zum Sprechen von Gerichtsverhandlungen ja die Zeichen „(∃x) etc.” nicht braucht & die Analyse dieser Dinge jedenfalls ein ganz anderes Bild ergeben wird so wird es wohl besser sein die Zeichen „(∃x) etc.” für die logische Analyse vorzubehalten.