Relation pm#relation_from_a_thing_that_is_not_a_domain__thing_in_domain_of_object (pm#thing_that_is_not_a_domain,?)
closed_exclusion: pm#relation_from_a_domain
supertype: pm#domain_related_relation__domain-related-thing
instance of: pm#virtual_relation_type
subtype: pm#object_subdomain__subdomain_of_object (pm#thing_that_is_not_a_domain,pm#domain)
subtype: pm#object_in_domain_of_object (pm#thing_that_is_not_a_domain,pm#thing_that_is_not_a_domain) all relations non exclusive with this one are subtypes of this one; this is stated via:
pm#relation subtype: {(pm#object_in_domain_of_object pm#relation_from_a_domain pm#object_subdomain)};