Assertion list for term "required to provide full guarantee".
Results from Ascent++: 1
principal → ReceivesAction → required to provide full guarantee 0.47