Assertion list
thane (primary) → HasProperty
Results from Ascent++: 1
thane → HasProperty → well-connected 0.26