Assertion list
master (aspect of slave ) → AtLocation
Results from Ascent++: 1
master → AtLocation → heaven 0.41