Assertion list
caller (primary) → HasPrerequisite
Results from Ascent++: 2
caller → HasPrerequisite → assistance 0.67
caller → HasPrerequisite → understanding 0.25