Assertion list
copyright (primary) → HasPrerequisite
Results from Ascent++: 1
copyright → HasPrerequisite → registration 0.25