The top documents tagged [rightmost derivation]