Assertion list
pride (primary) → Causes
Results from Ascent++: 1
pride → Causes → conflict 0.44