Assertion list
orange (primary) → UsedFor
Results from Ascent++: 1
orange → UsedFor → consumption 0.27