Assertion list
satellite (primary) → HasPrerequisite

Results from Ascent++: 1
satelliteHasPrerequisite stability 0.25