The top documents tagged [symbolic reasoning example]