Assertion list for term "provided by coleman".

Results from Ascent++: 1
interpreter ReceivesActionprovided by coleman 0.25