Wenn es heißt (∃xyzuv) … so heißt ein Spezialfall davon immer a b c d e & der steht in einer internen Beziehung jedem Fall ˇallgemeinen Ausdruck welcher a b oder a b c als [s|S]pezialfall hat.