ordinary relations are defined on a domain D:
conceptual relations are defined on a domain space
(Montague-style semantics)