Assertion list for term "covered with maple".

Results from Ascent++: 1
hill ReceivesActioncovered with maple 0.29