Assertion list
auricle (primary) → HasProperty
Results from Ascent++: 2
auricle → HasProperty → short 0.25
auricle → HasProperty → small 0.25