Assertion list
unit (aspect of division ) → AtLocation
Results from Ascent++: 2
unit → AtLocation → full strength 0.41
unit → AtLocation → atlanta 0.25