Assertion list
mercury (primary) → HasPrerequisite

Results from Ascent++: 1
mercuryHasPrerequisite some tlc 0.29