Assertion list
mandatory injunction (subgroup of injunction ) → ReceivesAction
Results from Ascent++: 1
mandatory injunction → ReceivesAction → granted 0.68