Assertion list
internal contradiction (subgroup of contradiction ) → IsA
Results from Ascent++: 1
internal contradiction → IsA → issue 0.68