Assertion list
comet (primary) → DefinedAs

Results from Ascent++: 1
cometDefinedAs red cross 0.25