Assertion list for term "designed in april".

Results from Ascent++: 1
protocol ReceivesActiondesigned in april 0.29