Rule-based formalization of eligibility criteria for clinical trials (abstract)