Email Record: Formal semantic analysis ;