Relational Semantics and the Anatomy of Abstraction