Assertion list
dilemma (primary) → IsA

Results from Ascent++: 1
dilemmaIsA situation 0.49