Assertion list
work (aspect of newton ) → HasProperty
Results from Ascent++: 3
work → HasProperty → difficult 0.34
work → HasProperty → good 0.16
work → HasProperty → useful 0.16