Assertion list for term "provided under condition".
Results from Ascent++: 1
right → ReceivesAction → provided under condition 0.43