Assertion list
massive star (subgroup of star ) → AtLocation
Results from Ascent++: 1
massive star → AtLocation → early stages of merging 0.33