Assertion list
spillway (primary) → HasA

Results from Ascent++: 1
spillwayHasA floodgate 0.41