Assertion list
cd (primary) → HasPrerequisite
Results from Ascent++: 1
cd → HasPrerequisite → adobe acrobat reader 0.25