Gravar-mail: A First-Order Logic with Frames