Assertion list
horn (aspect of rhino ) → HasProperty
Results from Ascent++: 2
horn → HasProperty → larger 0.35
horn → HasProperty → more similar 0.29