Assertion list for term "belong to same scc".
Results from Ascent++: 1
node → CapableOf → belong to same scc 0.41