Assertion list for term "to be carried out under relevant guarantee".
Results from Ascent++: 1
repair → ReceivesAction → to be carried out under relevant guarantee 0.30