Assertion list
work (aspect of pascal ) → AtLocation
Results from Ascent++: 1
work → AtLocation → natural and applied sciences 0.59