Email Record: Logical and computational aspects of model-based reasoning /