Assertion list
misinterpretation (primary) → HasProperty
Results from Ascent++: 1
misinterpretation → HasProperty → common 0.59