In a view where feature structures represent discretely ordered objects in an empirical model, every feature structure must bear one of these species.
each non-maximally-specific type in a description is equivalent to the disjunction of the maximally specific subtypes that it subsumes.