Assertion list
sin (primary) → HasPrerequisite
Results from Ascent++: 2
sin → HasPrerequisite → solution 0.30
sin → HasPrerequisite → a sin offering 0.18