Assertion list
member (aspect of set ) → MadeOf
Results from Ascent++: 1
member → MadeOf → material 0.25