Assertion list
purchase (aspect of customer ) → AtLocation

Results from Ascent++: 2
purchaseAtLocation full compliance 0.33
purchaseAtLocation the risk of the buyer 0.16