Assertion list
convention center (subgroup of center ) → ReceivesAction
Results from Ascent++: 1
convention center → ReceivesAction → built 0.68