Assertion list
envy (primary) → IsA
Results from Ascent++: 1
envy → IsA → sin 0.75