Assertion list
stent (primary) → HasPrerequisite

Results from Ascent++: 1
stentHasPrerequisite less force 0.25