Assertion list
viper (primary) → HasPrerequisite
Results from Ascent++: 1
viper → HasPrerequisite → some work 0.25