Assertion list
customer (aspect of distributor ) → Desires
Results from Ascent++: 1
customer → Desires → solution 0.16