loading…

Interpretation of section

This section may not be construed to affect the responsibilities of the Environmental Protection Agency with respect to the protection of the public health from hazards posed by lead-based paint.

in view

Whole section

▸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/g — Interpretation of section · Axiom

Interpretation of section

Official source

This section may not be construed to affect the responsibilities of the Environmental Protection Agency with respect to the protection of the public health from hazards posed by lead-based paint.

in view

Whole section

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