Eligibility criteria formalization