hasActivityPart

Definition If x 'has activity part' y, then x and y are activities, and x 'has temporal part' y.