Assertion list
member (aspect of union ) → Desires
Results from Ascent++: 1
member → Desires → change 0.25