  The notions of higher-order weighted multilinear Poincar\'e and Sobolev
inequalities in Carnot groups are introduced. As an application, weighted
Leibnitz-type rules in Campanato-Morrey spaces are established.
