Assertion list
apricot (primary) → HasPrerequisite
Results from Ascent++: 1
apricot → HasPrerequisite → thinning 0.12