Assertion list for term "designed for rn".

Results from Ascent++: 1
program (aspect of master) ReceivesActiondesigned for rn 0.28