Assertion list
wild (primary) → HasPrerequisite
Results from Ascent++: 2
wild → HasPrerequisite → goal 0.25
wild → HasPrerequisite → win 0.25