Assertion list
thought experiment (subgroup of experiment ) → HasProperty
Results from Ascent++: 1
thought experiment → HasProperty → useful 0.25