Assertion list for term "u-shaped grooves".
Results from Ascent++: 1
iron → HasA → u-shaped grooves 0.25