Assertion list
academician (primary) → ReceivesAction
Results from Ascent++: 1
academician → ReceivesAction → encouraged to submit other spec… 0.59