An examination activity requires exactly one doctor. Doctors are modeled in the form of a count pool.