Assertion list
copyright registration (subgroup of registration ) → IsA
Results from Ascent++: 1
copyright registration → IsA → prerequisite 0.53