Assertion list
migration (primary) → HasPrerequisite
Results from Ascent++: 1
migration → HasPrerequisite → careful planning 0.52