Assertion list
width (primary) → HasPrerequisite
Results from Ascent++: 1
width → HasPrerequisite → specified amount of material 0.45