Assertion list
hinge (primary) → HasA
Results from Ascent++: 5
hinge → HasA → an adjustment screw 0.63
hinge → HasA → 5 holes 0.29
hinge → HasA → a hinge axis 0.25
hinge → HasA → first and second axles 0.25
hinge → HasA → the q-loop 0.25