Email Record: A First-Order Logic with Frames