Assertion list
main river (subgroup of river ) → HasProperty

Results from Ascent++: 1
main riverHasProperty navigable 0.59