Assertion list
gear (aspect of transmission ) → AtLocation
Results from Ascent++: 2
gear → AtLocation → constant mesh 0.44
gear → AtLocation → mesh 0.40