Assertion list
service restaurant (subgroup of restaurant ) → HasProperty
Results from Ascent++: 1
service restaurant → HasProperty → open 0.59