Assertion list
qualified interpreter (subgroup of interpreter ) → ReceivesAction
Results from Ascent++: 2
qualified interpreter → ReceivesAction → certified 0.28
qualified interpreter → ReceivesAction → appointed 0.15