Assertion list
creep (primary) → HasProperty
Results from Ascent++: 4
creep → HasProperty → harmful 0.59
creep → HasProperty → useful 0.27
creep → HasProperty → common 0.25
creep → HasProperty → small 0.25