Assertion list
manual (aspect of owner ) → ReceivesAction
Results from Ascent++: 2
manual → ReceivesAction → read 0.60
manual → ReceivesAction → discovered 0.25