Symbolic Reasoning with Bounded Cognitive Resources