Assertion list
mosaic (primary) → DefinedAs

Results from Ascent++: 1
mosaicDefinedAs finding income 0.41