Assertion list
simple graph (subgroup of graph ) → ReceivesAction
Results from Ascent++: 1
simple graph → ReceivesAction → created 0.68