Assertion list
goal (aspect of villain ) → HasProperty
Results from Ascent++: 3
goal → HasProperty → clear 0.41
goal → HasProperty → simple 0.32
goal → HasProperty → important 0.25