We study diagrammatic reducibility for the relative group presentations Rn(k, l, ε) = H, k+l) where H = t | t n , n ≥ 7, k ≥ 1, l ≥ 0 and ε = ±1. We apply our results to classify finiteness for the group Gn(k, l, ε) defined by Rn(k, l, ε) apart from the two exceptional cases (n, k, l, ε) = (7, 2, 1, −1) and (9, 1, 1, −1).