Assertion list
joint (primary) → IsA
Results from Ascent++: 2
joint → IsA → junction 0.27
joint → IsA → part 0.25