PREMEDICATE

Definition of PREMEDICATE