Assertion list
degree (aspect of reporter ) → ReceivesAction
Results from Ascent++: 1
degree → ReceivesAction → required 0.71