Assertion list
ring (primary) → HasPrerequisite
Results from Ascent++: 2
ring → HasPrerequisite → polishing 0.30
ring → HasPrerequisite → touch ups 0.27