Assertion list for term "done with ade x".

Results from Ascent++: 1
scenery ReceivesActiondone with ade x 0.25