The top documents tagged [pairs of instantiation]