outline for Relational interpretation