Assertion list
loyal customer (subgroup of customer ) → AtLocation
Results from Ascent++: 1
loyal customer → AtLocation → the store 0.36