Add domain properties and domain hypotheses to relational export.