relational semantics