Assertion list for term "covered in sage".

Results from Ascent++: 1
hill ReceivesActioncovered in sage 0.16