Advanced Symbolic Reasoning