Assertion list
specification (primary) → HasPrerequisite
Results from Ascent++: 2
specification → HasPrerequisite → compliant application 0.28
specification → HasPrerequisite → three-dimensional transform fun… 0.25