Assertion list
bra (primary) → HasPrerequisite
Results from Ascent++: 1
bra → HasPrerequisite → new brand 0.25