A is considered to be if its are sufficient to define it relative to its immediate supertype(s). A which is not is and this is indicated by the value of the field.
Example: is a lung disease but unless are specified that effectively distinguish from other lung diseases then it is regarded as a .
If a is then the for that are incomplete. It is not possible to automatically compute that a represented as a combination of several is or is not a of a particular .
Example: The "lung disease" qualified by = may be but could also be "bronchitis."
In contrast if a is it is possible to state that any represented as a combination of the same is equivalent to or a of that .
Example: Assume that the is as with = and that is a . It then follows that the post coordinated representation of as with = is computably a of