Assertion list
argument (primary) → HasPrerequisite
Results from Ascent++: 1
argument → HasPrerequisite → positive numbers 0.50