Assertion list
compartment (aspect of backpack ) → HasA
Results from Ascent++: 2
compartment → HasA → sleeve 0.25
compartment → HasA → sufficient height 0.25