Assertion list
main river (subgroup of river ) → IsA

Results from Ascent++: 1
main riverIsA the river 0.81