Assertion list
comet (primary) → DefinedAs
Results from Ascent++: 1
comet → DefinedAs → red cross 0.25