Assertion list
direct discrimination (subgroup of discrimination ) → ReceivesAction
Results from Ascent++: 1
direct discrimination → ReceivesAction → laid down by provision 0.68