Assertion list
convenience store (subgroup of shop ) → HasProperty
Results from Ascent++: 1
convenience store → HasProperty → open 0.71