Assertion list
customer (aspect of distributor ) → AtLocation
Results from Ascent++: 2
customer → AtLocation → breach of any obligation 0.29
customer → AtLocation → north america 0.29