Assertion list
gear (aspect of transmission ) → HasProperty

Results from Ascent++: 1
gearHasProperty difficult 0.38