Assertion list
high accuracy (subgroup of accuracy ) → ReceivesAction

Results from Ascent++: 1
high accuracyReceivesAction required 0.68