Assertion list
contradiction (primary) → RelatedTo
Results from Ascent++: 2
contradiction → RelatedTo → safety integration 0.36
contradiction → RelatedTo → time 0.16