symbolic-reasoning

(1)