Assertion list for term "given for correctness of information".
Results from Ascent++: 1
guarantee → ReceivesAction → given for correctness of information 0.09