Assertion list
preference share (subgroup of share ) → HasProperty
Results from Ascent++: 1
preference share → HasProperty → cumulative 0.64