Assertion list
copyright (primary) → UsedFor
Results from Ascent++: 3
copyright → UsedFor → comparison 0.25
copyright → UsedFor → instruction 0.25
copyright → UsedFor → personal study 0.25