Assertion list for term "receive the configuration response message".
Results from Ascent++: 1
receiver → CapableOf → receive the configuration response message 0.32