Assertion list
coronet (primary) → HasProperty
Results from Ascent++: 1
coronet → HasProperty → smaller 0.25