Assertion list
spark gap (primary) → ReceivesAction
Results from Ascent++: 2
spark gap → ReceivesAction → adjusted 0.25
spark gap → ReceivesAction → connected 0.25