Assertion list
cigar (primary) → HasPrerequisite
Results from Ascent++: 2
cigar → HasPrerequisite → some time 0.36
cigar → HasPrerequisite → few touch-ups 0.25