Assertion list
sight (primary) → HasPrerequisite
Results from Ascent++: 1
sight → HasPrerequisite → minor fitting 0.19