Assertion list
maroon (primary) → HasProperty

Results from Ascent++: 1
maroonHasProperty unique 0.16