Email Record: The symbolic computation and automated analysis of trajectories :