pm#thing_that_is_not_a_domain
  closed_exclusion:  domain
  supertype:  thing__something___T__t___3D_or_4D_thing_or_anything_else  any category (type or individual) is instance of this type; any type is also a subtype of this type

No statement uses or specializes thing_that_is_not_a_domain; click here to add one.