Assertion list
ice cream (primary) → HasPrerequisite
Results from Ascent++: 3
ice cream → HasPrerequisite → time 0.32
ice cream → HasPrerequisite → an overrunof less than 50% 0.25
ice cream → HasPrerequisite → little help 0.25