Assertion list
main span (subgroup of bridge ) → ReceivesAction
Results from Ascent++: 2
main span → ReceivesAction → built 0.25
main span → ReceivesAction → connected on march 0.25