Specialization in Relational Reasoning