loading…

Remedial use of funds permitted

1 rule

In the case of settlement described in subsection (a)(2), a jurisdiction may use funds provided under this Act to carry out housing remedies with eligible activities.

in view

Whole section

Encodings · 1

settlement_housing_remedy_use_with_eligible_activities_permitted42 USC § 12754 (b) · derived

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

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/b — Remedial use of funds permitted · Axiom

Remedial use of funds permitted

1 rule

Official source

graph ↗build calculator ↗

In the case of settlement described in subsection (a)(2), a jurisdiction may use funds provided under this Act to carry out housing remedies with eligible activities.

in view

Whole section

Encodings · 1

settlement_housing_remedy_use_with_eligible_activities_permitted42 USC § 12754 (b) · derived

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

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
          )
        )