loading…

Targeting

2 rules

For each project assisted under a contract for project-based assistance, of the dwelling units that become available for occupancy in any fiscal year that are assisted under the contract, not less than 40 percent shall be available for leasing only by extremely low-income families.

in view

Whole section

Encodings · 2

project_based_extremely_low_income_leasing_minimum_rate42 USC § 1437n (c)(3) · parameter

42 USC 1437n(c)(3)

name: project_based_extremely_low_income_leasing_minimum_rate
kind: parameter
dtype: Rate
source: 42 USC 1437n(c)(3)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us/statute/42/1437n
          excerpt: >-
            not less than 40 percent shall be available for leasing only by
            extremely low-income families
versions:
  - effective_from: '2024-01-01'
    formula: '0.40'

open in graph ↗

project_based_extremely_low_income_targeting_satisfied42 USC § 1437n (c)(3) · derived

42 USC 1437n(c)(3)

name: project_based_extremely_low_income_targeting_satisfied
kind: derived
entity: HousingProject
dtype: Judgment
period: Year
source: 42 USC 1437n(c)(3)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us/statute/42/1437n
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us:statutes/42/1437n#project_based_extremely_low_income_leasing_minimum_rate
          output: project_based_extremely_low_income_leasing_minimum_rate
          hash: sha256:local
versions:
  - effective_from: '2024-01-01'
    formula: >-
      extremely_low_income_only_units_available_for_leasing_under_project_based_contract
      >= project_based_extremely_low_income_leasing_minimum_rate *
      dwelling_units_becoming_available_in_fiscal_year_assisted_under_project_based_contract

open in graph ↗

▸rulespec code

Shown source

statutes/42/1437n.yaml

Displaying the canonical repository encoding.

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

View on GitHub

Rules

public_housing_extremely_low_income_occupancy_minimum_rate

Parameter

source: 42 USC 1437n(a)

- name: public_housing_extremely_low_income_occupancy_minimum_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437n(a)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: not less than 40 percent shall be occupied by extremely low-income families
  versions:
    - effective_from: '2024-01-01'
      formula: '0.40'

public_housing_fungibility_floor_rate

Parameter

source: 42 USC 1437n(a)(4)(D)

- name: public_housing_fungibility_floor_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437n(a)(4)(D)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: >-
              not less than 30 percent shall be occupied by families whose incomes ... do not exceed
              30 percent of the area median income
  versions:
    - effective_from: '2024-01-01'
      formula: '0.30'

public_housing_fungibility_credit_cap_rate

Parameter

source: 42 USC 1437n(a)(4)(C)(i)

- name: public_housing_fungibility_credit_cap_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437n(a)(4)(C)(i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: >-
              10 percent of the aggregate number of families initially provided tenant-based
              assistance
  versions:
    - effective_from: '2024-01-01'
      formula: '0.10'

high_poverty_census_tract_rate_threshold

Parameter

source: 42 USC 1437n(a)(4)(C)(ii)(I)

- name: high_poverty_census_tract_rate_threshold
  kind: parameter
  dtype: Rate
  source: 42 USC 1437n(a)(4)(C)(ii)(I)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: census tracts having a poverty rate of 30 percent or more
  versions:
    - effective_from: '2024-01-01'
      formula: '0.30'

above_extremely_low_income_area_median_income_rate

Parameter

source: 42 USC 1437n(a)(4)(C)(ii)(II)

- name: above_extremely_low_income_area_median_income_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437n(a)(4)(C)(ii)(II)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: incomes ... exceed 30 percent of the area median income
  versions:
    - effective_from: '2024-01-01'
      formula: '0.30'

over_income_limitation_consecutive_years

Parameter

source: 42 USC 1437n(a)(5)(A)

- name: over_income_limitation_consecutive_years
  kind: parameter
  dtype: Count
  source: 42 USC 1437n(a)(5)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: most recent two consecutive years
  versions:
    - effective_from: '2024-01-01'
      formula: '2'

over_income_tenancy_termination_deadline_months

Parameter

source: 42 USC 1437n(a)(5)(A)(ii)

- name: over_income_tenancy_termination_deadline_months
  kind: parameter
  dtype: Count
  source: 42 USC 1437n(a)(5)(A)(ii)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: not later than 6 months after the income determination
  versions:
    - effective_from: '2024-01-01'
      formula: '6'

over_income_median_income_limit_rate

Parameter

source: 42 USC 1437n(a)(5)(C)

- name: over_income_median_income_limit_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437n(a)(5)(C)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: 120 percent of the median income for the area
  versions:
    - effective_from: '2024-01-01'
      formula: '1.20'

tenant_based_extremely_low_income_targeting_minimum_rate

Parameter

source: 42 USC 1437n(b)(1)

- name: tenant_based_extremely_low_income_targeting_minimum_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437n(b)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: not less than 75 percent shall be extremely low-income families
  versions:
    - effective_from: '2024-01-01'
      formula: '0.75'

project_based_pre_act_low_income_other_than_very_low_income_limit_rate

Parameter

source: 42 USC 1437n(c)

- name: project_based_pre_act_low_income_other_than_very_low_income_limit_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437n(c)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: >-
              Not more than 25 percent ... shall be available for leasing by low-income families
              other than very low-income families
  versions:
    - effective_from: '2024-01-01'
      formula: '0.25'

project_based_post_act_low_income_other_than_very_low_income_limit_rate

Parameter

source: 42 USC 1437n(c)(2)

- name: project_based_post_act_low_income_other_than_very_low_income_limit_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437n(c)(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: Not more than 15 percent
  versions:
    - effective_from: '2024-01-01'
      formula: '0.15'

project_based_extremely_low_income_leasing_minimum_rate

Parameter

source: 42 USC 1437n(c)(3)

- name: project_based_extremely_low_income_leasing_minimum_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437n(c)(3)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: >-
              not less than 40 percent shall be available for leasing only by extremely low-income
              families
  versions:
    - effective_from: '2024-01-01'
      formula: '0.40'

asset_limitation_statutory_base_net_family_assets_cap

Parameter

source: 42 USC 1437n(e)

- name: asset_limitation_statutory_base_net_family_assets_cap
  kind: parameter
  dtype: Money
  unit: USD
  source: 42 USC 1437n(e)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: net family assets exceed $100,000
  versions:
    - effective_from: '2024-01-01'
      formula: '100000'

net_assets_self_certification_statutory_base_limit

Parameter

source: 42 USC 1437n(e)(3)(A)

- name: net_assets_self_certification_statutory_base_limit
  kind: parameter
  dtype: Money
  unit: USD
  source: 42 USC 1437n(e)(3)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: net assets of such family do not exceed $50,000
  versions:
    - effective_from: '2024-01-01'
      formula: '50000'

asset_noncompliance_eviction_delay_limit_months

Parameter

source: 42 USC 1437n(e)(6)

- name: asset_noncompliance_eviction_delay_limit_months
  kind: parameter
  dtype: Count
  source: 42 USC 1437n(e)(6)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: for a period of not more than 6 months
  versions:
    - effective_from: '2024-01-01'
      formula: '6'

public_housing_extremely_low_income_targeting_satisfied

Derived

source: 42 USC 1437n(a)

- name: public_housing_extremely_low_income_targeting_satisfied
  kind: derived
  entity: PublicHousingAgency
  dtype: Judgment
  period: Year
  source: 42 USC 1437n(a)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437n
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1437n#public_housing_extremely_low_income_occupancy_minimum_rate
            output: public_housing_extremely_low_income_occupancy_minimum_rate
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1437n#public_housing_fungibility_floor_rate
            output: public_housing_fungibility_floor_rate
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1437n#public_housing_fungibility_credit_cap_rate
            output: public_housing_fungibility_credit_cap_rate
            hash: sha256:local
  versions:
    - effective_from: '2024-01-01'
      formula: >-
        extremely_low_income_families_occupying_public_housing_dwelling_units >=
        max(public_housing_fungibility_floor_rate *
        public_housing_dwelling_units_made_available_for_occupancy_by_eligible_families,
        public_housing_extremely_low_income_occupancy_minimum_rate *
        public_housing_dwelling_units_made_available_for_occupancy_by_eligible_families - min(max(0,
        qualified_families_initially_provided_tenant_based_assistance_count -
        qualified_families_required_for_tenant_based_targeting_count),
        min(public_housing_fungibility_credit_cap_rate *
        aggregate_families_initially_provided_tenant_based_assistance_count,
        public_housing_units_in_high_poverty_projects_filled_by_above_30_percent_ami_families_count)))

tenant_based_extremely_low_income_targeting_satisfied

Derived

source: 42 USC 1437n(b)(1)

- name: tenant_based_extremely_low_income_targeting_satisfied
  kind: derived
  entity: PublicHousingAgency
  dtype: Judgment
  period: Year
  source: 42 USC 1437n(b)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437n
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1437n#tenant_based_extremely_low_income_targeting_minimum_rate
            output: tenant_based_extremely_low_income_targeting_minimum_rate
            hash: sha256:local
  versions:
    - effective_from: '2024-01-01'
      formula: >-
        extremely_low_income_families_initially_provided_tenant_based_assistance_count >=
        tenant_based_extremely_low_income_targeting_minimum_rate *
        families_initially_provided_tenant_based_assistance_count

different_admission_standard_authorized

Derived

source: 42 USC 1437n(d)

- name: different_admission_standard_authorized
  kind: derived
  entity: PublicHousingAgency
  dtype: Judgment
  period: Year
  source: 42 USC 1437n(d)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/1437n
  versions:
    - effective_from: '2024-01-01'
      formula: |-
        secretary_approved_different_admission_standard
        and good_cause_for_different_admission_standard
        and different_admission_standard_implemented_in_public_housing_agency_plan

project_based_pre_act_leasing_limit_satisfied

Derived

source: 42 USC 1437n(c)

- name: project_based_pre_act_leasing_limit_satisfied
  kind: derived
  entity: HousingProject
  dtype: Judgment
  period: Year
  source: 42 USC 1437n(c)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437n
        - path: versions[0].formula
          kind: import
          import:
            target: >-
              us:statutes/42/1437n#project_based_pre_act_low_income_other_than_very_low_income_limit_rate
            output: project_based_pre_act_low_income_other_than_very_low_income_limit_rate
            hash: sha256:local
  versions:
    - effective_from: '2024-01-01'
      formula: >-
        low_income_other_than_very_low_income_units_available_for_leasing_pre_act <=
        project_based_pre_act_low_income_other_than_very_low_income_limit_rate *
        pre_act_project_based_dwelling_units_available_for_occupancy

project_based_post_act_leasing_limit_satisfied

Derived

source: 42 USC 1437n(c)(2)

- name: project_based_post_act_leasing_limit_satisfied
  kind: derived
  entity: HousingProject
  dtype: Judgment
  period: Year
  source: 42 USC 1437n(c)(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437n
        - path: versions[0].formula
          kind: import
          import:
            target: >-
              us:statutes/42/1437n#project_based_post_act_low_income_other_than_very_low_income_limit_rate
            output: project_based_post_act_low_income_other_than_very_low_income_limit_rate
            hash: sha256:local
  versions:
    - effective_from: '2024-01-01'
      formula: >-
        low_income_other_than_very_low_income_units_available_for_leasing_post_act <=
        project_based_post_act_low_income_other_than_very_low_income_limit_rate *
        post_act_project_based_dwelling_units_available_for_occupancy

project_based_extremely_low_income_targeting_satisfied

Derived

source: 42 USC 1437n(c)(3)

- name: project_based_extremely_low_income_targeting_satisfied
  kind: derived
  entity: HousingProject
  dtype: Judgment
  period: Year
  source: 42 USC 1437n(c)(3)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437n
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1437n#project_based_extremely_low_income_leasing_minimum_rate
            output: project_based_extremely_low_income_leasing_minimum_rate
            hash: sha256:local
  versions:
    - effective_from: '2024-01-01'
      formula: >-
        extremely_low_income_only_units_available_for_leasing_under_project_based_contract >=
        project_based_extremely_low_income_leasing_minimum_rate *
        dwelling_units_becoming_available_in_fiscal_year_assisted_under_project_based_contract

family_net_assets_within_statutory_base_asset_limit

Derived

source: 42 USC 1437n(e)

- name: family_net_assets_within_statutory_base_asset_limit
  kind: derived
  entity: Family
  dtype: Judgment
  period: Year
  source: 42 USC 1437n(e)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437n
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1437n#asset_limitation_statutory_base_net_family_assets_cap
            output: asset_limitation_statutory_base_net_family_assets_cap
            hash: sha256:local
  versions:
    - effective_from: '2024-01-01'
      formula: net_family_assets <= asset_limitation_statutory_base_net_family_assets_cap

family_net_assets_self_certification_available

Derived

source: 42 USC 1437n(e)(3)(A)

- name: family_net_assets_self_certification_available
  kind: derived
  entity: Family
  dtype: Judgment
  period: Year
  source: 42 USC 1437n(e)(3)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437n
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1437n#net_assets_self_certification_statutory_base_limit
            output: net_assets_self_certification_statutory_base_limit
            hash: sha256:local
  versions:
    - effective_from: '2024-01-01'
      formula: certified_net_family_assets <= net_assets_self_certification_statutory_base_limit

methamphetamine_manufacturing_occupancy_and_assistance_prohibition_applies

Derived

source: 42 USC 1437n(f)

- name: methamphetamine_manufacturing_occupancy_and_assistance_prohibition_applies
  kind: derived
  entity: Person
  dtype: Judgment
  period: Year
  source: 42 USC 1437n(f)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/1437n
  versions:
    - effective_from: '2024-01-01'
      formula: >-
        person_convicted_of_manufacturing_or_producing_methamphetamine_on_the_premises_in_violation_of_federal_or_state_law

loading…

us/statute/42/1437n/c/3 — Targeting · Axiom

Targeting

2 rules

Official source

graph ↗build calculator ↗

in view

Whole section

Encodings · 2

project_based_extremely_low_income_leasing_minimum_rate42 USC § 1437n (c)(3) · parameter

42 USC 1437n(c)(3)

name: project_based_extremely_low_income_leasing_minimum_rate
kind: parameter
dtype: Rate
source: 42 USC 1437n(c)(3)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us/statute/42/1437n
          excerpt: >-
            not less than 40 percent shall be available for leasing only by
            extremely low-income families
versions:
  - effective_from: '2024-01-01'
    formula: '0.40'

open in graph ↗

project_based_extremely_low_income_targeting_satisfied42 USC § 1437n (c)(3) · derived

42 USC 1437n(c)(3)

name: project_based_extremely_low_income_targeting_satisfied
kind: derived
entity: HousingProject
dtype: Judgment
period: Year
source: 42 USC 1437n(c)(3)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us/statute/42/1437n
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us:statutes/42/1437n#project_based_extremely_low_income_leasing_minimum_rate
          output: project_based_extremely_low_income_leasing_minimum_rate
          hash: sha256:local
versions:
  - effective_from: '2024-01-01'
    formula: >-
      extremely_low_income_only_units_available_for_leasing_under_project_based_contract
      >= project_based_extremely_low_income_leasing_minimum_rate *
      dwelling_units_becoming_available_in_fiscal_year_assisted_under_project_based_contract

open in graph ↗

▸rulespec code

Shown source

statutes/42/1437n.yaml

Displaying the canonical repository encoding.

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

View on GitHub

Rules

public_housing_extremely_low_income_occupancy_minimum_rate

Parameter

source: 42 USC 1437n(a)

- name: public_housing_extremely_low_income_occupancy_minimum_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437n(a)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: not less than 40 percent shall be occupied by extremely low-income families
  versions:
    - effective_from: '2024-01-01'
      formula: '0.40'

public_housing_fungibility_floor_rate

Parameter

source: 42 USC 1437n(a)(4)(D)

- name: public_housing_fungibility_floor_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437n(a)(4)(D)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: >-
              not less than 30 percent shall be occupied by families whose incomes ... do not exceed
              30 percent of the area median income
  versions:
    - effective_from: '2024-01-01'
      formula: '0.30'

public_housing_fungibility_credit_cap_rate

Parameter

source: 42 USC 1437n(a)(4)(C)(i)

- name: public_housing_fungibility_credit_cap_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437n(a)(4)(C)(i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: >-
              10 percent of the aggregate number of families initially provided tenant-based
              assistance
  versions:
    - effective_from: '2024-01-01'
      formula: '0.10'

high_poverty_census_tract_rate_threshold

Parameter

source: 42 USC 1437n(a)(4)(C)(ii)(I)

- name: high_poverty_census_tract_rate_threshold
  kind: parameter
  dtype: Rate
  source: 42 USC 1437n(a)(4)(C)(ii)(I)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: census tracts having a poverty rate of 30 percent or more
  versions:
    - effective_from: '2024-01-01'
      formula: '0.30'

above_extremely_low_income_area_median_income_rate

Parameter

source: 42 USC 1437n(a)(4)(C)(ii)(II)

- name: above_extremely_low_income_area_median_income_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437n(a)(4)(C)(ii)(II)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: incomes ... exceed 30 percent of the area median income
  versions:
    - effective_from: '2024-01-01'
      formula: '0.30'

over_income_limitation_consecutive_years

Parameter

source: 42 USC 1437n(a)(5)(A)

- name: over_income_limitation_consecutive_years
  kind: parameter
  dtype: Count
  source: 42 USC 1437n(a)(5)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: most recent two consecutive years
  versions:
    - effective_from: '2024-01-01'
      formula: '2'

over_income_tenancy_termination_deadline_months

Parameter

source: 42 USC 1437n(a)(5)(A)(ii)

- name: over_income_tenancy_termination_deadline_months
  kind: parameter
  dtype: Count
  source: 42 USC 1437n(a)(5)(A)(ii)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: not later than 6 months after the income determination
  versions:
    - effective_from: '2024-01-01'
      formula: '6'

over_income_median_income_limit_rate

Parameter

source: 42 USC 1437n(a)(5)(C)

- name: over_income_median_income_limit_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437n(a)(5)(C)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: 120 percent of the median income for the area
  versions:
    - effective_from: '2024-01-01'
      formula: '1.20'

tenant_based_extremely_low_income_targeting_minimum_rate

Parameter

source: 42 USC 1437n(b)(1)

- name: tenant_based_extremely_low_income_targeting_minimum_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437n(b)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: not less than 75 percent shall be extremely low-income families
  versions:
    - effective_from: '2024-01-01'
      formula: '0.75'

project_based_pre_act_low_income_other_than_very_low_income_limit_rate

Parameter

source: 42 USC 1437n(c)

- name: project_based_pre_act_low_income_other_than_very_low_income_limit_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437n(c)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: >-
              Not more than 25 percent ... shall be available for leasing by low-income families
              other than very low-income families
  versions:
    - effective_from: '2024-01-01'
      formula: '0.25'

project_based_post_act_low_income_other_than_very_low_income_limit_rate

Parameter

source: 42 USC 1437n(c)(2)

- name: project_based_post_act_low_income_other_than_very_low_income_limit_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437n(c)(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: Not more than 15 percent
  versions:
    - effective_from: '2024-01-01'
      formula: '0.15'

project_based_extremely_low_income_leasing_minimum_rate

Parameter

source: 42 USC 1437n(c)(3)

- name: project_based_extremely_low_income_leasing_minimum_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437n(c)(3)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: >-
              not less than 40 percent shall be available for leasing only by extremely low-income
              families
  versions:
    - effective_from: '2024-01-01'
      formula: '0.40'

asset_limitation_statutory_base_net_family_assets_cap

Parameter

source: 42 USC 1437n(e)

- name: asset_limitation_statutory_base_net_family_assets_cap
  kind: parameter
  dtype: Money
  unit: USD
  source: 42 USC 1437n(e)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: net family assets exceed $100,000
  versions:
    - effective_from: '2024-01-01'
      formula: '100000'

net_assets_self_certification_statutory_base_limit

Parameter

source: 42 USC 1437n(e)(3)(A)

- name: net_assets_self_certification_statutory_base_limit
  kind: parameter
  dtype: Money
  unit: USD
  source: 42 USC 1437n(e)(3)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: net assets of such family do not exceed $50,000
  versions:
    - effective_from: '2024-01-01'
      formula: '50000'

asset_noncompliance_eviction_delay_limit_months

Parameter

source: 42 USC 1437n(e)(6)

- name: asset_noncompliance_eviction_delay_limit_months
  kind: parameter
  dtype: Count
  source: 42 USC 1437n(e)(6)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: for a period of not more than 6 months
  versions:
    - effective_from: '2024-01-01'
      formula: '6'

public_housing_extremely_low_income_targeting_satisfied

Derived

source: 42 USC 1437n(a)

- name: public_housing_extremely_low_income_targeting_satisfied
  kind: derived
  entity: PublicHousingAgency
  dtype: Judgment
  period: Year
  source: 42 USC 1437n(a)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437n
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1437n#public_housing_extremely_low_income_occupancy_minimum_rate
            output: public_housing_extremely_low_income_occupancy_minimum_rate
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1437n#public_housing_fungibility_floor_rate
            output: public_housing_fungibility_floor_rate
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1437n#public_housing_fungibility_credit_cap_rate
            output: public_housing_fungibility_credit_cap_rate
            hash: sha256:local
  versions:
    - effective_from: '2024-01-01'
      formula: >-
        extremely_low_income_families_occupying_public_housing_dwelling_units >=
        max(public_housing_fungibility_floor_rate *
        public_housing_dwelling_units_made_available_for_occupancy_by_eligible_families,
        public_housing_extremely_low_income_occupancy_minimum_rate *
        public_housing_dwelling_units_made_available_for_occupancy_by_eligible_families - min(max(0,
        qualified_families_initially_provided_tenant_based_assistance_count -
        qualified_families_required_for_tenant_based_targeting_count),
        min(public_housing_fungibility_credit_cap_rate *
        aggregate_families_initially_provided_tenant_based_assistance_count,
        public_housing_units_in_high_poverty_projects_filled_by_above_30_percent_ami_families_count)))

tenant_based_extremely_low_income_targeting_satisfied

Derived

source: 42 USC 1437n(b)(1)

- name: tenant_based_extremely_low_income_targeting_satisfied
  kind: derived
  entity: PublicHousingAgency
  dtype: Judgment
  period: Year
  source: 42 USC 1437n(b)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437n
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1437n#tenant_based_extremely_low_income_targeting_minimum_rate
            output: tenant_based_extremely_low_income_targeting_minimum_rate
            hash: sha256:local
  versions:
    - effective_from: '2024-01-01'
      formula: >-
        extremely_low_income_families_initially_provided_tenant_based_assistance_count >=
        tenant_based_extremely_low_income_targeting_minimum_rate *
        families_initially_provided_tenant_based_assistance_count

different_admission_standard_authorized

Derived

source: 42 USC 1437n(d)

- name: different_admission_standard_authorized
  kind: derived
  entity: PublicHousingAgency
  dtype: Judgment
  period: Year
  source: 42 USC 1437n(d)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/1437n
  versions:
    - effective_from: '2024-01-01'
      formula: |-
        secretary_approved_different_admission_standard
        and good_cause_for_different_admission_standard
        and different_admission_standard_implemented_in_public_housing_agency_plan

project_based_pre_act_leasing_limit_satisfied

Derived

source: 42 USC 1437n(c)

- name: project_based_pre_act_leasing_limit_satisfied
  kind: derived
  entity: HousingProject
  dtype: Judgment
  period: Year
  source: 42 USC 1437n(c)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437n
        - path: versions[0].formula
          kind: import
          import:
            target: >-
              us:statutes/42/1437n#project_based_pre_act_low_income_other_than_very_low_income_limit_rate
            output: project_based_pre_act_low_income_other_than_very_low_income_limit_rate
            hash: sha256:local
  versions:
    - effective_from: '2024-01-01'
      formula: >-
        low_income_other_than_very_low_income_units_available_for_leasing_pre_act <=
        project_based_pre_act_low_income_other_than_very_low_income_limit_rate *
        pre_act_project_based_dwelling_units_available_for_occupancy

project_based_post_act_leasing_limit_satisfied

Derived

source: 42 USC 1437n(c)(2)

- name: project_based_post_act_leasing_limit_satisfied
  kind: derived
  entity: HousingProject
  dtype: Judgment
  period: Year
  source: 42 USC 1437n(c)(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437n
        - path: versions[0].formula
          kind: import
          import:
            target: >-
              us:statutes/42/1437n#project_based_post_act_low_income_other_than_very_low_income_limit_rate
            output: project_based_post_act_low_income_other_than_very_low_income_limit_rate
            hash: sha256:local
  versions:
    - effective_from: '2024-01-01'
      formula: >-
        low_income_other_than_very_low_income_units_available_for_leasing_post_act <=
        project_based_post_act_low_income_other_than_very_low_income_limit_rate *
        post_act_project_based_dwelling_units_available_for_occupancy

project_based_extremely_low_income_targeting_satisfied

Derived

source: 42 USC 1437n(c)(3)

- name: project_based_extremely_low_income_targeting_satisfied
  kind: derived
  entity: HousingProject
  dtype: Judgment
  period: Year
  source: 42 USC 1437n(c)(3)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437n
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1437n#project_based_extremely_low_income_leasing_minimum_rate
            output: project_based_extremely_low_income_leasing_minimum_rate
            hash: sha256:local
  versions:
    - effective_from: '2024-01-01'
      formula: >-
        extremely_low_income_only_units_available_for_leasing_under_project_based_contract >=
        project_based_extremely_low_income_leasing_minimum_rate *
        dwelling_units_becoming_available_in_fiscal_year_assisted_under_project_based_contract

family_net_assets_within_statutory_base_asset_limit

Derived

source: 42 USC 1437n(e)

- name: family_net_assets_within_statutory_base_asset_limit
  kind: derived
  entity: Family
  dtype: Judgment
  period: Year
  source: 42 USC 1437n(e)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437n
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1437n#asset_limitation_statutory_base_net_family_assets_cap
            output: asset_limitation_statutory_base_net_family_assets_cap
            hash: sha256:local
  versions:
    - effective_from: '2024-01-01'
      formula: net_family_assets <= asset_limitation_statutory_base_net_family_assets_cap

family_net_assets_self_certification_available

Derived

source: 42 USC 1437n(e)(3)(A)

- name: family_net_assets_self_certification_available
  kind: derived
  entity: Family
  dtype: Judgment
  period: Year
  source: 42 USC 1437n(e)(3)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437n
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1437n#net_assets_self_certification_statutory_base_limit
            output: net_assets_self_certification_statutory_base_limit
            hash: sha256:local
  versions:
    - effective_from: '2024-01-01'
      formula: certified_net_family_assets <= net_assets_self_certification_statutory_base_limit

methamphetamine_manufacturing_occupancy_and_assistance_prohibition_applies

Derived

source: 42 USC 1437n(f)

- name: methamphetamine_manufacturing_occupancy_and_assistance_prohibition_applies
  kind: derived
  entity: Person
  dtype: Judgment
  period: Year
  source: 42 USC 1437n(f)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/1437n
  versions:
    - effective_from: '2024-01-01'
      formula: >-
        person_convicted_of_manufacturing_or_producing_methamphetamine_on_the_premises_in_violation_of_federal_or_state_law