Assertion list
dip (primary) → HasPrerequisite
Results from Ascent++: 1
dip → HasPrerequisite → the completion of 10 units 0.28