Assertion list
customer (aspect of distributor ) → HasPrerequisite
Results from Ascent++: 1
customer → HasPrerequisite → electric service 0.25