Represents a semantic relationship among relationships that specifies conditions and propositions that must be maintained ...