Assertion list for term "pass through two main towers".

Results from Ascent++: 1
cable CapableOfpass through two main towers 0.27