Assertion list
port (primary) → HasPrerequisite
Results from Ascent++: 1
port → HasPrerequisite → more bandwidth 0.30