A System for Multi-Level Reasoning