Assertion list
branch (aspect of tree ) → HasPrerequisite
Results from Ascent++: 1
branch → HasPrerequisite → additional support 0.32