Assertion list
malleus (primary) → HasProperty
Results from Ascent++: 1
malleus → HasProperty → the only one 0.25