Assertion list
copyright protection (subgroup of protection ) → ReceivesAction
Results from Ascent++: 1
copyright protection → ReceivesAction → provided by directive 0.25