Human activities and choices as first-class modeling constructs