Atšaka generinio pobūdžio logikoje nėra daugiau išplėsta; ir žinomumas atšakos nėra platus ir didelis.