Although this relation is not a part of the RCC theory, it has been introduced in order to detect relations between regions
which are inconsistent with the RCC axioms.
Although this relation is not a part of the RCC theory, it has been introduced in order to detect relations between regions
which are inconsistent with the RCC axioms.