Assertion list
hip socket (subgroup of socket ) → HasProperty
Results from Ascent++: 1
hip socket → HasProperty → shallow 0.59