Assertion list
cast (primary) → HasPrerequisite
Results from Ascent++: 1
cast → HasPrerequisite → some assembly 0.25