Understanding proofs by the grammar of their Herbrand sequents