Assertion list
dense hedge (subgroup of hedge ) → ReceivesAction
Results from Ascent++: 1
dense hedge → ReceivesAction → developed 0.68