Assertion list for term "monitored by first software entity".
Results from Ascent++: 1
execution → ReceivesAction → monitored by first software entity 0.25