SATISFIES

Definition of SATISFIES