Assertion list
count (primary) → HasPrerequisite
Results from Ascent++: 2
count → HasPrerequisite → proof of an additional fact 0.25
count → HasPrerequisite → proof of an element 0.25