Assertion list for term "a hinge axis".
Results from Ascent++: 1
hinge → HasA → a hinge axis 0.25