Assertion list
movement (aspect of worker ) → HasA
Results from Ascent++: 1
movement → HasA → goal 0.12