Assertion list
work (aspect of gauss ) → CapableOf
Results from Ascent++: 1
work → CapableOf → shaped the field 0.59