GENERALIZER

Definition of GENERALIZER