Assertion list for term "based on arm designs".

Results from Ascent++: 1
chip ReceivesActionbased on arm designs 0.53