hasActivityBound

Definition If x 'has activity bound' y, then x 'has activity part' y, and y is an 'event'.