Assertion list for term "completed with an implementation report".
Results from Ascent++: 1
specification → ReceivesAction → completed with an implementation report 0.27