loading…

Inspection requirements

3 rules

The Secretary shall require the inspection of all intact and nonintact interior and exterior painted surfaces of housing subject to this section for lead-based paint using an approved x-ray fluorescence analyzer, atomic absorption spectroscopy, or comparable approved sampling or testing technique. A certified inspector or laboratory shall certify in writing the precise results of the inspection. If the results equal or exceed a level of 1.0 milligrams per centimeter squared or 0.5 percent by weight, the results shall be provided to any potential purchaser or tenant of the housing. The Secretary shall periodically review and reduce the level below 1.0 milligram per centimeter squared or 0.5 percent by weight to the extent that reliable technology makes feasible the detection of a lower level and medical evidence supports the imposition of a lower level. The requirements of this subsection shall apply as provided in subsection (d).

in view

Whole section

Encodings · 3

lead_inspection_result_threshold_milligrams_per_square_centimeter42 USC § 4822 (c) · parameter

42 USC 4822(c)

name: lead_inspection_result_threshold_milligrams_per_square_centimeter
kind: parameter
dtype: Decimal
source: 42 USC 4822(c)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us/statute/42/4822
          excerpt: 1.0 milligrams per centimeter squared
versions:
  - effective_from: '1995-01-01'
    formula: '1.0'

open in graph ↗

lead_inspection_result_threshold_weight_rate42 USC § 4822 (c) · parameter

42 USC 4822(c)

name: lead_inspection_result_threshold_weight_rate
kind: parameter
dtype: Rate
source: 42 USC 4822(c)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us/statute/42/4822
          excerpt: 0.5 percent by weight
versions:
  - effective_from: '1995-01-01'
    formula: '0.005'

open in graph ↗

inspection_result_disclosure_required42 USC § 4822 (c) · derived

42 USC 4822(c)

name: inspection_result_disclosure_required
kind: derived
entity: Asset
dtype: Judgment
period: Year
source: 42 USC 4822(c)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/4822
          excerpt: >-
            If the results equal or exceed a level of 1.0 milligrams per
            centimeter squared or 0.5 percent by weight
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us:statutes/42/4822#lead_inspection_result_threshold_milligrams_per_square_centimeter
          output: lead_inspection_result_threshold_milligrams_per_square_centimeter
          hash: sha256:local
      - path: versions[0].formula
        kind: import
        import:
          target: us:statutes/42/4822#lead_inspection_result_threshold_weight_rate
          output: lead_inspection_result_threshold_weight_rate
          hash: sha256:local
versions:
  - effective_from: '1995-01-01'
    formula: |-
      housing_subject_to_section_inspection_requirements
      and (
        inspection_result_milligrams_per_square_centimeter >= lead_inspection_result_threshold_milligrams_per_square_centimeter
        or inspection_result_weight_rate >= lead_inspection_result_threshold_weight_rate
      )

open in graph ↗

▸rulespec code

Shown source

statutes/42/4822.yaml

Displaying the canonical repository encoding.

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

View on GitHub

Rules

project_based_assistance_coverage_threshold

Parameter

source: 42 USC 4822(a)(1)

- name: project_based_assistance_coverage_threshold
  kind: parameter
  dtype: Money
  unit: USD
  source: 42 USC 4822(a)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/4822
            excerpt: otherwise receives more than $5,000 in project-based assistance
  versions:
    - effective_from: '1995-01-01'
      formula: '5000'

pre_1960_initial_risk_assessment_construction_year_cutoff

Parameter

source: 42 USC 4822(a)(1)(B)

- name: pre_1960_initial_risk_assessment_construction_year_cutoff
  kind: parameter
  dtype: Integer
  source: 42 USC 4822(a)(1)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/4822
            excerpt: each unit constructed prior to 1960
  versions:
    - effective_from: '1995-01-01'
      formula: '1960'

later_risk_assessment_construction_year_lower_bound

Parameter

source: 42 USC 4822(a)(1)(B)

- name: later_risk_assessment_construction_year_lower_bound
  kind: parameter
  dtype: Integer
  source: 42 USC 4822(a)(1)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/4822
            excerpt: for units constructed between 1960 and 1978
  versions:
    - effective_from: '1995-01-01'
      formula: '1960'

later_risk_assessment_construction_year_upper_bound

Parameter

source: 42 USC 4822(a)(1)(B)

- name: later_risk_assessment_construction_year_upper_bound
  kind: parameter
  dtype: Integer
  source: 42 USC 4822(a)(1)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/4822
            excerpt: for units constructed between 1960 and 1978
  versions:
    - effective_from: '1995-01-01'
      formula: '1978'

first_later_unit_risk_assessment_completion_rate

Parameter

source: 42 USC 4822(a)(1)(B)(i)

- name: first_later_unit_risk_assessment_completion_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 4822(a)(1)(B)(i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/4822
            excerpt: not less than 25 percent shall be performed by January 1, 1998
  versions:
    - effective_from: '1995-01-01'
      formula: '0.25'

second_later_unit_risk_assessment_completion_rate

Parameter

source: 42 USC 4822(a)(1)(B)(ii)

- name: second_later_unit_risk_assessment_completion_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 4822(a)(1)(B)(ii)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/4822
            excerpt: not less than 50 percent shall be performed by January 1, 2000
  versions:
    - effective_from: '1995-01-01'
      formula: '0.50'

rehabilitation_reduction_federal_funds_per_unit_threshold

Parameter

source: 42 USC 4822(a)(1)(D)

- name: rehabilitation_reduction_federal_funds_per_unit_threshold
  kind: parameter
  dtype: Money
  unit: USD
  source: 42 USC 4822(a)(1)(D)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/4822
            excerpt: rehabilitation projects receiving less than $25,000 per unit in Federal funds
  versions:
    - effective_from: '1995-01-01'
      formula: '25000'

substantial_rehabilitation_abatement_federal_funds_per_unit_threshold

Parameter

source: 42 USC 4822(a)(1)(E)

- name: substantial_rehabilitation_abatement_federal_funds_per_unit_threshold
  kind: parameter
  dtype: Money
  unit: USD
  source: 42 USC 4822(a)(1)(E)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/4822
            excerpt: >-
              substantial rehabilitation projects receiving more than $25,000 per unit in Federal
              funds
  versions:
    - effective_from: '1995-01-01'
      formula: '25000'

federally_owned_pre_1960_target_housing_construction_year_cutoff

Parameter

source: 42 USC 4822(a)(3)(A)

- name: federally_owned_pre_1960_target_housing_construction_year_cutoff
  kind: parameter
  dtype: Integer
  source: 42 USC 4822(a)(3)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/4822
            excerpt: federally owned target housing constructed prior to 1960
  versions:
    - effective_from: '1995-01-01'
      formula: '1960'

federally_owned_later_target_housing_construction_year_lower_bound

Parameter

source: 42 USC 4822(a)(3)(B)

- name: federally_owned_later_target_housing_construction_year_lower_bound
  kind: parameter
  dtype: Integer
  source: 42 USC 4822(a)(3)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/4822
            excerpt: target housing constructed between 1960 and 1978
  versions:
    - effective_from: '1995-01-01'
      formula: '1960'

federally_owned_later_target_housing_construction_year_upper_bound

Parameter

source: 42 USC 4822(a)(3)(B)

- name: federally_owned_later_target_housing_construction_year_upper_bound
  kind: parameter
  dtype: Integer
  source: 42 USC 4822(a)(3)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/4822
            excerpt: target housing constructed between 1960 and 1978
  versions:
    - effective_from: '1995-01-01'
      formula: '1978'

lead_inspection_result_threshold_milligrams_per_square_centimeter

Parameter

source: 42 USC 4822(c)

- name: lead_inspection_result_threshold_milligrams_per_square_centimeter
  kind: parameter
  dtype: Decimal
  source: 42 USC 4822(c)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/4822
            excerpt: 1.0 milligrams per centimeter squared
  versions:
    - effective_from: '1995-01-01'
      formula: '1.0'

lead_inspection_result_threshold_weight_rate

Parameter

source: 42 USC 4822(c)

- name: lead_inspection_result_threshold_weight_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 4822(c)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/4822
            excerpt: 0.5 percent by weight
  versions:
    - effective_from: '1995-01-01'
      formula: '0.005'

section_exception_excluded_bedroom_count

Parameter

source: 42 USC 4822(e)(1)

- name: section_exception_excluded_bedroom_count
  kind: parameter
  dtype: Count
  source: 42 USC 4822(e)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/4822
            excerpt: any 0-bedroom dwelling
  versions:
    - effective_from: '1995-01-01'
      formula: '0'

section_exception_child_age_limit_years

Parameter

source: 42 USC 4822(e)(1)

- name: section_exception_child_age_limit_years
  kind: parameter
  dtype: Count
  source: 42 USC 4822(e)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/4822
            excerpt: any child who is under age 6
  versions:
    - effective_from: '1995-01-01'
      formula: '6'

demonstration_report_deadline_months

Parameter

source: 42 USC 4822(d)(2)(B)

- name: demonstration_report_deadline_months
  kind: parameter
  dtype: Count
  source: 42 USC 4822(d)(2)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/4822
            excerpt: Not later than 18 months after the effective date of the regulations
  versions:
    - effective_from: '1995-01-01'
      formula: '18'

other_public_housing_inspection_deadline_years

Parameter

source: 42 USC 4822(d)(3)(B)

- name: other_public_housing_inspection_deadline_years
  kind: parameter
  dtype: Count
  source: 42 USC 4822(d)(3)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/4822
            excerpt: prior to the expiration of 5 years after the report
  versions:
    - effective_from: '1995-01-01'
      formula: '5'

private_housing_plan_report_deadline_months

Parameter

source: 42 USC 4822(d)(4)

- name: private_housing_plan_report_deadline_months
  kind: parameter
  dtype: Count
  source: 42 USC 4822(d)(4)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/4822
            excerpt: Not later than 9 months after completion of the demonstration
  versions:
    - effective_from: '1995-01-01'
      formula: '9'

housing_covered_by_secretary_program_or_project_based_assistance

Derived

source: 42 USC 4822(a)(1)

- name: housing_covered_by_secretary_program_or_project_based_assistance
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: 42 USC 4822(a)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/4822
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/4822#project_based_assistance_coverage_threshold
            output: project_based_assistance_coverage_threshold
            hash: sha256:local
  versions:
    - effective_from: '1995-01-01'
      formula: >-
        housing_covered_by_application_for_mortgage_insurance_or_housing_assistance_payments_under_secretary_program

        or project_based_federal_housing_assistance_amount >
        project_based_assistance_coverage_threshold

section_exception_applies

Derived

source: 42 USC 4822(e)

- name: section_exception_applies
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: 42 USC 4822(e)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us/statute/42/4822
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/4822#section_exception_excluded_bedroom_count
            output: section_exception_excluded_bedroom_count
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/4822#section_exception_child_age_limit_years
            output: section_exception_child_age_limit_years
            hash: sha256:local
  versions:
    - effective_from: '1995-01-01'
      formula: |-
        (
          (
            housing_for_elderly_or_persons_with_disabilities
            or dwelling_bedroom_count == section_exception_excluded_bedroom_count
          )
          and not (
            child_resides_or_expected_to_reside_in_housing
            and youngest_resident_or_expected_child_age_years < section_exception_child_age_limit_years
          )
        )
        or project_application_submitted_under_section_1715v_1715w_1715z_6_or_1715z_7

target_housing_subject_to_hazard_elimination_procedures

Derived

source: 42 USC 4822(a)(1), (e)

- name: target_housing_subject_to_hazard_elimination_procedures
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: 42 USC 4822(a)(1), (e)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/4822
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/4851b#target_housing
            output: target_housing
            hash: sha256:9aed2d17a98907428823cee08bfdfa950e105d4de6fef7d8deaabd1093bc8ca1
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/4822#housing_covered_by_secretary_program_or_project_based_assistance
            output: housing_covered_by_secretary_program_or_project_based_assistance
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/4822#section_exception_applies
            output: section_exception_applies
            hash: sha256:local
  versions:
    - effective_from: '1995-01-01'
      formula: |-
        existing_housing_may_present_lead_based_paint_poisoning_hazards
        and housing_covered_by_secretary_program_or_project_based_assistance
        and target_housing
        and not section_exception_applies

inspection_result_disclosure_required

Derived

source: 42 USC 4822(c)

- name: inspection_result_disclosure_required
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: 42 USC 4822(c)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/4822
            excerpt: >-
              If the results equal or exceed a level of 1.0 milligrams per centimeter squared or 0.5
              percent by weight
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/4822#lead_inspection_result_threshold_milligrams_per_square_centimeter
            output: lead_inspection_result_threshold_milligrams_per_square_centimeter
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/4822#lead_inspection_result_threshold_weight_rate
            output: lead_inspection_result_threshold_weight_rate
            hash: sha256:local
  versions:
    - effective_from: '1995-01-01'
      formula: |-
        housing_subject_to_section_inspection_requirements
        and (
          inspection_result_milligrams_per_square_centimeter >= lead_inspection_result_threshold_milligrams_per_square_centimeter
          or inspection_result_weight_rate >= lead_inspection_result_threshold_weight_rate
        )

loading…

us/statute/42/4822/c — Inspection requirements · Axiom

Inspection requirements

3 rules

Official source

graph ↗build calculator ↗

in view

Whole section

Encodings · 3

lead_inspection_result_threshold_milligrams_per_square_centimeter42 USC § 4822 (c) · parameter

42 USC 4822(c)

name: lead_inspection_result_threshold_milligrams_per_square_centimeter
kind: parameter
dtype: Decimal
source: 42 USC 4822(c)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us/statute/42/4822
          excerpt: 1.0 milligrams per centimeter squared
versions:
  - effective_from: '1995-01-01'
    formula: '1.0'

open in graph ↗

lead_inspection_result_threshold_weight_rate42 USC § 4822 (c) · parameter

42 USC 4822(c)

name: lead_inspection_result_threshold_weight_rate
kind: parameter
dtype: Rate
source: 42 USC 4822(c)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us/statute/42/4822
          excerpt: 0.5 percent by weight
versions:
  - effective_from: '1995-01-01'
    formula: '0.005'

open in graph ↗

inspection_result_disclosure_required42 USC § 4822 (c) · derived

42 USC 4822(c)

name: inspection_result_disclosure_required
kind: derived
entity: Asset
dtype: Judgment
period: Year
source: 42 USC 4822(c)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/4822
          excerpt: >-
            If the results equal or exceed a level of 1.0 milligrams per
            centimeter squared or 0.5 percent by weight
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us:statutes/42/4822#lead_inspection_result_threshold_milligrams_per_square_centimeter
          output: lead_inspection_result_threshold_milligrams_per_square_centimeter
          hash: sha256:local
      - path: versions[0].formula
        kind: import
        import:
          target: us:statutes/42/4822#lead_inspection_result_threshold_weight_rate
          output: lead_inspection_result_threshold_weight_rate
          hash: sha256:local
versions:
  - effective_from: '1995-01-01'
    formula: |-
      housing_subject_to_section_inspection_requirements
      and (
        inspection_result_milligrams_per_square_centimeter >= lead_inspection_result_threshold_milligrams_per_square_centimeter
        or inspection_result_weight_rate >= lead_inspection_result_threshold_weight_rate
      )

open in graph ↗

▸rulespec code

Shown source

statutes/42/4822.yaml

Displaying the canonical repository encoding.

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

View on GitHub

Rules

project_based_assistance_coverage_threshold

Parameter

source: 42 USC 4822(a)(1)

- name: project_based_assistance_coverage_threshold
  kind: parameter
  dtype: Money
  unit: USD
  source: 42 USC 4822(a)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/4822
            excerpt: otherwise receives more than $5,000 in project-based assistance
  versions:
    - effective_from: '1995-01-01'
      formula: '5000'

pre_1960_initial_risk_assessment_construction_year_cutoff

Parameter

source: 42 USC 4822(a)(1)(B)

- name: pre_1960_initial_risk_assessment_construction_year_cutoff
  kind: parameter
  dtype: Integer
  source: 42 USC 4822(a)(1)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/4822
            excerpt: each unit constructed prior to 1960
  versions:
    - effective_from: '1995-01-01'
      formula: '1960'

later_risk_assessment_construction_year_lower_bound

Parameter

source: 42 USC 4822(a)(1)(B)

- name: later_risk_assessment_construction_year_lower_bound
  kind: parameter
  dtype: Integer
  source: 42 USC 4822(a)(1)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/4822
            excerpt: for units constructed between 1960 and 1978
  versions:
    - effective_from: '1995-01-01'
      formula: '1960'

later_risk_assessment_construction_year_upper_bound

Parameter

source: 42 USC 4822(a)(1)(B)

- name: later_risk_assessment_construction_year_upper_bound
  kind: parameter
  dtype: Integer
  source: 42 USC 4822(a)(1)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/4822
            excerpt: for units constructed between 1960 and 1978
  versions:
    - effective_from: '1995-01-01'
      formula: '1978'

first_later_unit_risk_assessment_completion_rate

Parameter

source: 42 USC 4822(a)(1)(B)(i)

- name: first_later_unit_risk_assessment_completion_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 4822(a)(1)(B)(i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/4822
            excerpt: not less than 25 percent shall be performed by January 1, 1998
  versions:
    - effective_from: '1995-01-01'
      formula: '0.25'

second_later_unit_risk_assessment_completion_rate

Parameter

source: 42 USC 4822(a)(1)(B)(ii)

- name: second_later_unit_risk_assessment_completion_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 4822(a)(1)(B)(ii)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/4822
            excerpt: not less than 50 percent shall be performed by January 1, 2000
  versions:
    - effective_from: '1995-01-01'
      formula: '0.50'

rehabilitation_reduction_federal_funds_per_unit_threshold

Parameter

source: 42 USC 4822(a)(1)(D)

- name: rehabilitation_reduction_federal_funds_per_unit_threshold
  kind: parameter
  dtype: Money
  unit: USD
  source: 42 USC 4822(a)(1)(D)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/4822
            excerpt: rehabilitation projects receiving less than $25,000 per unit in Federal funds
  versions:
    - effective_from: '1995-01-01'
      formula: '25000'

substantial_rehabilitation_abatement_federal_funds_per_unit_threshold

Parameter

source: 42 USC 4822(a)(1)(E)

- name: substantial_rehabilitation_abatement_federal_funds_per_unit_threshold
  kind: parameter
  dtype: Money
  unit: USD
  source: 42 USC 4822(a)(1)(E)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/4822
            excerpt: >-
              substantial rehabilitation projects receiving more than $25,000 per unit in Federal
              funds
  versions:
    - effective_from: '1995-01-01'
      formula: '25000'

federally_owned_pre_1960_target_housing_construction_year_cutoff

Parameter

source: 42 USC 4822(a)(3)(A)

- name: federally_owned_pre_1960_target_housing_construction_year_cutoff
  kind: parameter
  dtype: Integer
  source: 42 USC 4822(a)(3)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/4822
            excerpt: federally owned target housing constructed prior to 1960
  versions:
    - effective_from: '1995-01-01'
      formula: '1960'

federally_owned_later_target_housing_construction_year_lower_bound

Parameter

source: 42 USC 4822(a)(3)(B)

- name: federally_owned_later_target_housing_construction_year_lower_bound
  kind: parameter
  dtype: Integer
  source: 42 USC 4822(a)(3)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/4822
            excerpt: target housing constructed between 1960 and 1978
  versions:
    - effective_from: '1995-01-01'
      formula: '1960'

federally_owned_later_target_housing_construction_year_upper_bound

Parameter

source: 42 USC 4822(a)(3)(B)

- name: federally_owned_later_target_housing_construction_year_upper_bound
  kind: parameter
  dtype: Integer
  source: 42 USC 4822(a)(3)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/4822
            excerpt: target housing constructed between 1960 and 1978
  versions:
    - effective_from: '1995-01-01'
      formula: '1978'

lead_inspection_result_threshold_milligrams_per_square_centimeter

Parameter

source: 42 USC 4822(c)

- name: lead_inspection_result_threshold_milligrams_per_square_centimeter
  kind: parameter
  dtype: Decimal
  source: 42 USC 4822(c)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/4822
            excerpt: 1.0 milligrams per centimeter squared
  versions:
    - effective_from: '1995-01-01'
      formula: '1.0'

lead_inspection_result_threshold_weight_rate

Parameter

source: 42 USC 4822(c)

- name: lead_inspection_result_threshold_weight_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 4822(c)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/4822
            excerpt: 0.5 percent by weight
  versions:
    - effective_from: '1995-01-01'
      formula: '0.005'

section_exception_excluded_bedroom_count

Parameter

source: 42 USC 4822(e)(1)

- name: section_exception_excluded_bedroom_count
  kind: parameter
  dtype: Count
  source: 42 USC 4822(e)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/4822
            excerpt: any 0-bedroom dwelling
  versions:
    - effective_from: '1995-01-01'
      formula: '0'

section_exception_child_age_limit_years

Parameter

source: 42 USC 4822(e)(1)

- name: section_exception_child_age_limit_years
  kind: parameter
  dtype: Count
  source: 42 USC 4822(e)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/4822
            excerpt: any child who is under age 6
  versions:
    - effective_from: '1995-01-01'
      formula: '6'

demonstration_report_deadline_months

Parameter

source: 42 USC 4822(d)(2)(B)

- name: demonstration_report_deadline_months
  kind: parameter
  dtype: Count
  source: 42 USC 4822(d)(2)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/4822
            excerpt: Not later than 18 months after the effective date of the regulations
  versions:
    - effective_from: '1995-01-01'
      formula: '18'

other_public_housing_inspection_deadline_years

Parameter

source: 42 USC 4822(d)(3)(B)

- name: other_public_housing_inspection_deadline_years
  kind: parameter
  dtype: Count
  source: 42 USC 4822(d)(3)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/4822
            excerpt: prior to the expiration of 5 years after the report
  versions:
    - effective_from: '1995-01-01'
      formula: '5'

private_housing_plan_report_deadline_months

Parameter

source: 42 USC 4822(d)(4)

- name: private_housing_plan_report_deadline_months
  kind: parameter
  dtype: Count
  source: 42 USC 4822(d)(4)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/4822
            excerpt: Not later than 9 months after completion of the demonstration
  versions:
    - effective_from: '1995-01-01'
      formula: '9'

housing_covered_by_secretary_program_or_project_based_assistance

Derived

source: 42 USC 4822(a)(1)

- name: housing_covered_by_secretary_program_or_project_based_assistance
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: 42 USC 4822(a)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/4822
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/4822#project_based_assistance_coverage_threshold
            output: project_based_assistance_coverage_threshold
            hash: sha256:local
  versions:
    - effective_from: '1995-01-01'
      formula: >-
        housing_covered_by_application_for_mortgage_insurance_or_housing_assistance_payments_under_secretary_program

        or project_based_federal_housing_assistance_amount >
        project_based_assistance_coverage_threshold

section_exception_applies

Derived

source: 42 USC 4822(e)

- name: section_exception_applies
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: 42 USC 4822(e)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us/statute/42/4822
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/4822#section_exception_excluded_bedroom_count
            output: section_exception_excluded_bedroom_count
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/4822#section_exception_child_age_limit_years
            output: section_exception_child_age_limit_years
            hash: sha256:local
  versions:
    - effective_from: '1995-01-01'
      formula: |-
        (
          (
            housing_for_elderly_or_persons_with_disabilities
            or dwelling_bedroom_count == section_exception_excluded_bedroom_count
          )
          and not (
            child_resides_or_expected_to_reside_in_housing
            and youngest_resident_or_expected_child_age_years < section_exception_child_age_limit_years
          )
        )
        or project_application_submitted_under_section_1715v_1715w_1715z_6_or_1715z_7

target_housing_subject_to_hazard_elimination_procedures

Derived

source: 42 USC 4822(a)(1), (e)

- name: target_housing_subject_to_hazard_elimination_procedures
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: 42 USC 4822(a)(1), (e)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/4822
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/4851b#target_housing
            output: target_housing
            hash: sha256:9aed2d17a98907428823cee08bfdfa950e105d4de6fef7d8deaabd1093bc8ca1
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/4822#housing_covered_by_secretary_program_or_project_based_assistance
            output: housing_covered_by_secretary_program_or_project_based_assistance
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/4822#section_exception_applies
            output: section_exception_applies
            hash: sha256:local
  versions:
    - effective_from: '1995-01-01'
      formula: |-
        existing_housing_may_present_lead_based_paint_poisoning_hazards
        and housing_covered_by_secretary_program_or_project_based_assistance
        and target_housing
        and not section_exception_applies

inspection_result_disclosure_required

Derived

source: 42 USC 4822(c)

- name: inspection_result_disclosure_required
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: 42 USC 4822(c)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/4822
            excerpt: >-
              If the results equal or exceed a level of 1.0 milligrams per centimeter squared or 0.5
              percent by weight
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/4822#lead_inspection_result_threshold_milligrams_per_square_centimeter
            output: lead_inspection_result_threshold_milligrams_per_square_centimeter
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/4822#lead_inspection_result_threshold_weight_rate
            output: lead_inspection_result_threshold_weight_rate
            hash: sha256:local
  versions:
    - effective_from: '1995-01-01'
      formula: |-
        housing_subject_to_section_inspection_requirements
        and (
          inspection_result_milligrams_per_square_centimeter >= lead_inspection_result_threshold_milligrams_per_square_centimeter
          or inspection_result_weight_rate >= lead_inspection_result_threshold_weight_rate
        )