Assertion list
relay (primary) → HasPrerequisite
Results from Ascent++: 2
relay → HasPrerequisite → some time 0.25
relay → HasPrerequisite → two additional wires 0.25