Assertion list for term "required for the design".

Results from Ascent++: 1
registration ReceivesActionrequired for the design 0.27