Email Record: Analysis and verification of multiple-agent languages :