“…For further generalization to quasilinear inequalities, possibly with singular of degenerate weights, we refer to [7][8][9][10]21,22]. The first result in this direction, but in the Heisenberg group setting, can be found in [17,2]. Recently, this has been extended to the Carnot groups in [1], adding further restrictions due to the presence of a new term which arises since the norm is not ∞-harmonic in that setting.…”