A system for multi-level reasoning