Context Information.

• Scopes (Variables).
• Types-templates.
• Theories (ECDs)..
• Book Contents..