Assertion list
bright star (subgroup of star ) → AtLocation
Results from Ascent++: 1
bright star → AtLocation → pisces 0.09