Assertion list
child (aspect of tree ) → HasPrerequisite
Results from Ascent++: 1
child → HasPrerequisite → support 0.25