Assertion list
cycle (aspect of graph ) → ReceivesAction
Results from Ascent++: 4
cycle → ReceivesAction → repeated 0.59
cycle → ReceivesAction → completed 0.34
cycle → ReceivesAction → detected 0.34
cycle → ReceivesAction → formed 0.18