Assertion list
bomb (primary) → DefinedAs
Results from Ascent++: 1
bomb → DefinedAs → asterisk 0.25