R10 has member (is member of)