The top documents tagged [output elements preconditions]