The top documents tagged [x prole function]