Assertion list
service (aspect of contractor ) → AtLocation
Results from Ascent++: 2
service → AtLocation → beta 0.27
service → AtLocation → the discretion of bar staff 0.27