The horn fragment of branching algebra