Assertion list
shopping basket (primary) → HasProperty
Results from Ascent++: 2
shopping basket → HasProperty → open 0.25
shopping basket → HasProperty → small 0.25