Assertion list
seine (primary) → HasProperty

Results from Ascent++: 1
seineHasProperty navigable 0.16