Assertion list
mayfly (primary) → HasProperty
Results from Ascent++: 2
mayfly → HasProperty → unique 0.56
mayfly → HasProperty → short-lived 0.43