Email Record: Automated Deduction - A Basis for Applications :