Assertion list
element (aspect of set ) → DefinedAs
Results from Ascent++: 2
element → DefinedAs → consumer 0.25
element → DefinedAs → producer 0.25