The top documents tagged [y x forward reasoning]