The top documents tagged [instantiation y]