Assertion list
perm (primary) → ReceivesAction

Results from Ascent++: 1
permReceivesAction approved 0.43