Assertion list
undirected graph (subgroup of graph ) → ReceivesAction

Results from Ascent++: 1
undirected graphReceivesAction connected 0.68