Assertion list
point system (primary) → HasProperty
Results from Ascent++: 2
point system → HasProperty → simple 0.41
point system → HasProperty → separate 0.25