Assertion list
hinge (primary) → AtLocation
Results from Ascent++: 1
hinge → AtLocation → areas of excellent construction 0.16