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