symbolic-reasoning