Assertion list for term "carried out with the goal of verifying".
Results from Ascent++: 1
experiment → ReceivesAction → carried out with the goal of verifying 0.32