Assertion list
substitution (primary) → HasProperty
Results from Ascent++: 3
substitution → HasProperty → easy 0.44
substitution → HasProperty → possible 0.37
substitution → HasProperty → common 0.25