Assertion list
cruise missile (primary) → HasPrerequisite
Results from Ascent++: 1
cruise missile → HasPrerequisite → short time 0.25