loading…

In general

1 rule0 of 2 subsections

Notwithstanding any other provision of this Act, the Secretary shall ensure that funds provided under this part are not employed to carry out housing remedies or to pay fines, penalties, or costs associated with an action in which—

(1)

(1)#

a participating jurisdiction has been adjudicated, by a Federal, State, or local court, to be in violation of title VI of the Civil Rights Act of 1964 [ 42 U.S.C. 2000d et seq.], the Fair Housing Act [ 42 U.S.C. 3601 et seq.], or any other Federal, State, or local law promoting fair housing or prohibiting discrimination, or

(2)#

a settlement has been entered into in any case where claims of such violations have been asserted against a participating jurisdiction, except to the extent permitted by subsection (b).

in view

Whole section

Encodings · 1

funds_employment_for_violation_action_costs_prohibited42 USC § 12754 (a) · derived

42 USC 12754(a)

name: funds_employment_for_violation_action_costs_prohibited
kind: derived
entity: ParticipatingJurisdiction
dtype: Judgment
period: Year
source: 42 USC 12754(a)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: predicate
        source:
          corpus_citation_path: us/statute/42/12754
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us:statutes/42/12754#settlement_housing_remedy_use_with_eligible_activities_permitted
          output: settlement_housing_remedy_use_with_eligible_activities_permitted
          hash: sha256:local
versions:
  - effective_from: '2024-01-01'
    formula: >-
      funds_provided_under_this_part

      and
      funds_employed_to_carry_out_housing_remedies_or_pay_fines_penalties_or_costs_associated_with_action

      and (
        participating_jurisdiction_adjudicated_in_violation_of_fair_housing_or_antidiscrimination_law
        or (
          settlement_entered_in_case_where_claims_of_fair_housing_or_antidiscrimination_violations_asserted_against_participating_jurisdiction
          and not settlement_housing_remedy_use_with_eligible_activities_permitted
        )
      )

open in graph ↗

▸rulespec code

Shown source

statutes/42/12754.yaml

Displaying the canonical repository encoding.

This encoding covers the parent provision us/statute/42/12754; no dedicated encoding exists for this exact provision yet.

View on GitHub

Rules

settlement_housing_remedy_use_with_eligible_activities_permitted

Derived

source: 42 USC 12754(b)

- name: settlement_housing_remedy_use_with_eligible_activities_permitted
  kind: derived
  entity: ParticipatingJurisdiction
  dtype: Judgment
  period: Year
  source: 42 USC 12754(b)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us/statute/42/12754
            excerpt: >-
              a jurisdiction may use funds provided under this Act to carry out housing remedies
              with eligible activities
  versions:
    - effective_from: '2024-01-01'
      formula: >-
        settlement_entered_in_case_where_claims_of_fair_housing_or_antidiscrimination_violations_asserted_against_participating_jurisdiction

        and funds_provided_under_this_act

        and jurisdiction_uses_funds_to_carry_out_housing_remedies_with_eligible_activities

funds_employment_for_violation_action_costs_prohibited

Derived

source: 42 USC 12754(a)

- name: funds_employment_for_violation_action_costs_prohibited
  kind: derived
  entity: ParticipatingJurisdiction
  dtype: Judgment
  period: Year
  source: 42 USC 12754(a)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/12754
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/12754#settlement_housing_remedy_use_with_eligible_activities_permitted
            output: settlement_housing_remedy_use_with_eligible_activities_permitted
            hash: sha256:local
  versions:
    - effective_from: '2024-01-01'
      formula: >-
        funds_provided_under_this_part

        and
        funds_employed_to_carry_out_housing_remedies_or_pay_fines_penalties_or_costs_associated_with_action

        and (
          participating_jurisdiction_adjudicated_in_violation_of_fair_housing_or_antidiscrimination_law
          or (
            settlement_entered_in_case_where_claims_of_fair_housing_or_antidiscrimination_violations_asserted_against_participating_jurisdiction
            and not settlement_housing_remedy_use_with_eligible_activities_permitted
          )
        )

loading…

us/statute/42/12754/a — In general · Axiom

In general

1 rule0 of 2 subsections

Official source

graph ↗build calculator ↗

(1)

(1)#

(2)#

a settlement has been entered into in any case where claims of such violations have been asserted against a participating jurisdiction, except to the extent permitted by subsection (b).

in view

Whole section

Encodings · 1

funds_employment_for_violation_action_costs_prohibited42 USC § 12754 (a) · derived

42 USC 12754(a)

name: funds_employment_for_violation_action_costs_prohibited
kind: derived
entity: ParticipatingJurisdiction
dtype: Judgment
period: Year
source: 42 USC 12754(a)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: predicate
        source:
          corpus_citation_path: us/statute/42/12754
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us:statutes/42/12754#settlement_housing_remedy_use_with_eligible_activities_permitted
          output: settlement_housing_remedy_use_with_eligible_activities_permitted
          hash: sha256:local
versions:
  - effective_from: '2024-01-01'
    formula: >-
      funds_provided_under_this_part

      and
      funds_employed_to_carry_out_housing_remedies_or_pay_fines_penalties_or_costs_associated_with_action

      and (
        participating_jurisdiction_adjudicated_in_violation_of_fair_housing_or_antidiscrimination_law
        or (
          settlement_entered_in_case_where_claims_of_fair_housing_or_antidiscrimination_violations_asserted_against_participating_jurisdiction
          and not settlement_housing_remedy_use_with_eligible_activities_permitted
        )
      )

open in graph ↗

▸rulespec code

Shown source

statutes/42/12754.yaml

Displaying the canonical repository encoding.

This encoding covers the parent provision us/statute/42/12754; no dedicated encoding exists for this exact provision yet.

View on GitHub

Rules

settlement_housing_remedy_use_with_eligible_activities_permitted

Derived

source: 42 USC 12754(b)

- name: settlement_housing_remedy_use_with_eligible_activities_permitted
  kind: derived
  entity: ParticipatingJurisdiction
  dtype: Judgment
  period: Year
  source: 42 USC 12754(b)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us/statute/42/12754
            excerpt: >-
              a jurisdiction may use funds provided under this Act to carry out housing remedies
              with eligible activities
  versions:
    - effective_from: '2024-01-01'
      formula: >-
        settlement_entered_in_case_where_claims_of_fair_housing_or_antidiscrimination_violations_asserted_against_participating_jurisdiction

        and funds_provided_under_this_act

        and jurisdiction_uses_funds_to_carry_out_housing_remedies_with_eligible_activities

funds_employment_for_violation_action_costs_prohibited

Derived

source: 42 USC 12754(a)

- name: funds_employment_for_violation_action_costs_prohibited
  kind: derived
  entity: ParticipatingJurisdiction
  dtype: Judgment
  period: Year
  source: 42 USC 12754(a)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/12754
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/12754#settlement_housing_remedy_use_with_eligible_activities_permitted
            output: settlement_housing_remedy_use_with_eligible_activities_permitted
            hash: sha256:local
  versions:
    - effective_from: '2024-01-01'
      formula: >-
        funds_provided_under_this_part

        and
        funds_employed_to_carry_out_housing_remedies_or_pay_fines_penalties_or_costs_associated_with_action

        and (
          participating_jurisdiction_adjudicated_in_violation_of_fair_housing_or_antidiscrimination_law
          or (
            settlement_entered_in_case_where_claims_of_fair_housing_or_antidiscrimination_violations_asserted_against_participating_jurisdiction
            and not settlement_housing_remedy_use_with_eligible_activities_permitted
          )
        )