Assertion list for term "provided in proceeding".
Results from Ascent++: 1
obligation (aspect of contract) → ReceivesAction → provided in proceeding 0.27