Assertion list
javan rhino (subgroup of rhino ) → HasA
Results from Ascent++: 1
javan rhino → HasA → single horn 0.25