There are two stages in making subtypes in NORMA. The first stage is to make sure that you are using the ORM subtype paradigm to think about your Universe of Discourse(UoD). The ORM subtype paradigm is based on sets and membership of sets. Terry's 2008 book discusses this and this website has an...