Assertion list
bucket shop (primary) → HasProperty
Results from Ascent++: 2
bucket shop → HasProperty → illegal 0.59
bucket shop → HasProperty → open 0.41