Assertion list
gas grill (subgroup of grill ) → ReceivesAction
Results from Ascent++: 2
gas grill → ReceivesAction → insecure to use 0.35
gas grill → ReceivesAction → risky to use 0.24