Assertion list
backpack (primary) → IsA
Results from Ascent++: 2
backpack → IsA → bag 0.40
backpack → IsA → large bag 0.25