Assertion list
binary star (subgroup of star ) → HasProperty
Results from Ascent++: 1
binary star → HasProperty → common 0.54