Assertion list
mohawk (primary) → HasProperty
Results from Ascent++: 2
mohawk → HasProperty → short 0.29
mohawk → HasProperty → beloved 0.26