Assertion list
wrath (primary) → IsA
Results from Ascent++: 1
wrath → IsA → against sin 0.16