Assertion list
femoral head (subgroup of head ) → HasProperty
Results from Ascent++: 1
femoral head → HasProperty → spherical 0.25