Assertion list
fact (primary) → HasPrerequisite
Results from Ascent++: 2
fact → HasPrerequisite → explanation 0.44
fact → HasPrerequisite → such adjustment 0.35