I call it semantic abstraction