Assertion list
behavior (aspect of harasser ) → AtLocation
Results from Ascent++: 1
behavior → AtLocation → violation 0.25