Assertion list
mold (primary) → DefinedAs
Results from Ascent++: 1
mold → DefinedAs → being single cavity 0.27