Assertion list
garbage (primary) → IsA
Results from Ascent++: 1
garbage → IsA → problem 0.42