A Guide For The Theoretically Ready Willing & Able
Since domains are instantiations of the overall semantic potential, any properties associated with types in this potential are also present in the domains.