During annotation, we encountered cases, in which two patterns contradicted each other, e.g., "person|SPOUSE person|SPOUSE divorced in date|TODATE" ⊥ "person|SPOUSE was married to per-son|SPOUSE until death in date|TODATE.
these cases were rare and we did not annotate them separately, as the entailment graphs we construct only capture binary decisions (entailment, non-entailment).