domestic producers or workers

(5) “Domestic producers or workers” defined For purposes of this subsection, the term “domestic producers or workers” means those interested parties who are eligible to file a petition under subsection (b)(1).

Source

19 USC § 1671a(c)(5)

---

Scoping language

For purposes of this subsection

---

Is this correct? or