Assertion list
new restaurant (subgroup of restaurant ) → HasA
Results from Ascent++: 2
new restaurant → HasA → full bar 0.25
new restaurant → HasA → seating 0.25