Email Record: Inductive semantics and syntax :