The top documents tagged [set of inference rules]