Assertion list
walk clinic (subgroup of clinic ) → HasProperty

Results from Ascent++: 1
walk clinicHasProperty open 0.68