Assertion list
tiger (primary) → HasPrerequisite
Results from Ascent++: 1
tiger → HasPrerequisite → mac 0.28