Assertion list
ace (primary) → UsedFor
Results from Ascent++: 1
ace → UsedFor → high 0.28