Assertion list
rocket (primary) → HasPrerequisite
Results from Ascent++: 1
rocket → HasPrerequisite → less fuel 0.31