Assertion list
product (primary) → HasPrerequisite
Results from Ascent++: 1
product → HasPrerequisite → service 0.56