Assertion list
potential customer (subgroup of customer ) → HasPrerequisite
Results from Ascent++: 1
potential customer → HasPrerequisite → product 0.25