Assertion list
yellow (primary) → DefinedAs
Results from Ascent++: 2
yellow → DefinedAs → bs 6500 0.36
yellow → DefinedAs → bs 0.25