Assertion list for term "provided by union".

Results from Ascent++: 1
mean ReceivesActionprovided by union 0.57