Open johnmannpaul opened 11 months ago
PersonOtherName is asserted to be disjoint from its subclasses (i.e. PersonOtherName_Alias, PersonOtherName_FullName, Person_OtherName_NickName, etc.) As a result these subclasses are inconsistent (i.e. provably equivalent to Nothing).
PersonOtherName is asserted to be disjoint from its subclasses (i.e. PersonOtherName_Alias, PersonOtherName_FullName, Person_OtherName_NickName, etc.) As a result these subclasses are inconsistent (i.e. provably equivalent to Nothing).