Assertion list
black rhinoceros (primary) → HasA
Results from Ascent++: 1
black rhinoceros → HasA → two horns 0.25