Assertion list
service restaurant (subgroup of restaurant ) → IsA
Results from Ascent++: 1
service restaurant → IsA → step 0.25