Assertion list for term "covered by glue".

Results from Ascent++: 1
concrete ReceivesActioncovered by glue 0.18