Assertion list
bright comet (subgroup of comet ) → ReceivesAction
Results from Ascent++: 1
bright comet → ReceivesAction → deemed to be messengers of impe… 0.16