Assertion list
format (primary) → HasPrerequisite
Results from Ascent++: 1
format → HasPrerequisite → just six original sentences 0.31