Assertion list
uncle (primary) → IsA
Results from Ascent++: 1
uncle → IsA → watanabe’s brother 0.25