Assertion list
halo engagement ring (subgroup of engagement ring ) → HasProperty
Results from Ascent++: 1
halo engagement ring → HasProperty → perfect 0.59