Assertion list
wig (primary) → HasPrerequisite
Results from Ascent++: 3
wig → HasPrerequisite → care 0.31
wig → HasPrerequisite → minimal shaping 0.27
wig → HasPrerequisite → significant thinning 0.27