Email Record: Constraint-based syntax and semantics :