Assertion list for term "u-shaped bar".
Results from Ascent++: 1
padlock → HasA → u-shaped bar 0.55