Traces the derivation of
• Figures out
• Gathers
• Infers
• Infers logically
• Makes an inference
• Puts together