hasActiveParticipant

Definition If x 'has active participant' y, then y is an active participant in x.