Assertion list
martyr (primary) → HasProperty
Results from Ascent++: 1
martyr → HasProperty → few 0.25