Assertion list
work (aspect of gauss ) → HasProperty

Results from Ascent++: 1
workHasProperty fundamental 0.59