Roles: Conceptual Abstraction Theory and Practical Language Issues