Assertion list
special circumstance (subgroup of circumstance ) → ReceivesAction
Results from Ascent++: 1
special circumstance → ReceivesAction → taken into account 0.40