The Horn Fragment of Branching Algebra. By Stefano Trevisani