Add dsl spec relationships

- The implementation --> The semantics