Assertion list for term "proof of an additional fact".
Results from Ascent++: 2
provision (aspect of act) → HasPrerequisite → proof of an additional fact 0.36
count → HasPrerequisite → proof of an additional fact 0.25