Assertion list
blog (primary) → HasPrerequisite
Results from Ascent++: 1
blog → HasPrerequisite → simple method 0.63