Assertion list
free concert (subgroup of concert ) → ReceivesAction
Results from Ascent++: 1
free concert → ReceivesAction → made possible 0.16