In Generalization's constructor unify notation for connectives and check the list