Exceptions to the immunity from attachment or execution

The property in the United States of a foreign state, as defined in section 1603(a) of this chapter, used for a commercial activity in the United States, shall not be immune from attachment in aid of execution, or from execution, upon a judgment entered by a court of the United States or of a State after the effective date of this Act, if— the execution relates to a judgment establishing rights in property— In addition to subsection (a), any property in the United States of an agency or instrumentality of a foreign state engaged in commercial activity in the United States shall not be immune from attachment in aid of execution, or from execution, upon a judgment entered by a court of the United States or of a State after the effective date of this Act, if— The property of a foreign state, as defined in section 1603(a) of this chapter, used for a commercial activity in the United States, shall not be immune from attachment prior to the entry of judgment in any action brought in a court of the United States or of a State, or prior to the elapse of the period of time provided in subsection (c) of this section, if— In providing such assistance, the Secretaries— Subject to paragraph (3), the property of a foreign state against which a judgment is entered under section 1605A, and the property of an agency or instrumentality of such a state, including property that is a separate juridical entity or is an interest held directly or indirectly in a separate juridical entity, is subject to attachment in aid of execution, and execution, upon that judgment as provided in this section, regardless of—