Supporting Analysis with Explicit Details and Inferences