Assertion list
daughter (primary) → HasPrerequisite
Results from Ascent++: 2
daughter → HasPrerequisite → brace 0.45
daughter → HasPrerequisite → support 0.39