Assertion list
member (aspect of union ) → HasPrerequisite
Results from Ascent++: 1
member → HasPrerequisite → assistance 0.32