hasRole

Definition x 'has role' y if and only if x 'has potential' y, and y is a 'role'.