Assertion list for term "designed in addition".

Results from Ascent++: 1
ring ReceivesActiondesigned in addition 0.32