Assertion list
weir (primary) → HasProperty
Results from Ascent++: 6
weir → HasProperty → passable 0.41
weir → HasProperty → necessary 0.35
weir → HasProperty → open 0.35
weir → HasProperty → concrete 0.32
weir → HasProperty → impassable 0.29
weir → HasProperty → dangerous 0.23