Assertion list
bouquet (primary) → DefinedAs
Results from Ascent++: 2
bouquet → DefinedAs → mint 0.22
bouquet → DefinedAs → cedar 0.16