Ascent++ | established in the revised code

Assertion list for term "established in the revised code".

Results from Ascent++: 1

reporting requirement (subgroup of requirement) → ReceivesAction → established in the revised code 0.36