Assertion list
apparent contradiction (subgroup of contradiction ) → ReceivesAction
Results from Ascent++: 1
apparent contradiction → ReceivesAction → resolved 0.59