Assertion list
turbine (primary) → AtLocation
Results from Ascent++: 3
turbine → AtLocation → bore 0.30
turbine → AtLocation → first choke point 0.28
turbine → AtLocation → the channel 0.28