Email Record: Logical foundations for rule-based systems /