The top documents tagged [transitiveif x isa y]