Email Record: Computational linguistics and formal semantics /