Assertion list
need (aspect of customer ) → AtLocation

Results from Ascent++: 1
needAtLocation the event 0.30