Assertion list
independent reading (subgroup of reading ) → HasProperty
Results from Ascent++: 1
independent reading → HasProperty → important 0.59