type(p001, trial_candidate).
status(p001, eligible).
status(p002, screen_fail).
status(p003, screen_fail).
status(p004, screen_fail).
reason(p001, "meets inclusion criteria and no listed exclusion").
reason(p002, "eGFR below renal safety threshold").
reason(p003, "pregnancy exclusion applies").
reason(p004, "HbA1c is outside protocol range").