service restaurant subgroup of restaurant, 5 assertions

IsA 1
step 0.25