Assertion list
dovetail (primary) → IsA
Results from Ascent++: 1
dovetail → IsA → joint technique 0.45