Map existing relations and sorts to requirement traceability core theory e.g. `"implemented_by" := ~ "refine"`  This task is depend on #93