pm#home_phone_No
  exclusion:  mobile_phone_No  business_phone_No
  supertype:  phone_No
     supertype:  contact_point__contactpoint
        supertype:  thing_that_can_be_seen_as_a_function  a node cannot be source of 2 comparable relations of such types and having different destinations
           supertype:  thing_that_can_be_seen_as_a_relation  usable as relation type
              supertype:  thing_playing_some_role  category to classify things according to roles/viewpoints; classification under this category is application-dependant
                 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 home_phone_No; click here to add one.