Assertion list for term "monitored in the future".
Results from Ascent++: 1
program (aspect of master) → ReceivesAction → monitored in the future 0.25