Assertion list
controlled experiment (subgroup of experiment ) → HasProperty
Results from Ascent++: 2
controlled experiment → HasProperty → difficult 0.23
controlled experiment → HasProperty → impossible 0.23