us/statute/42/4822/e/1

loading…

2 rules

housing for the elderly or persons with disabilities, or any 0-bedroom dwelling, except for any dwelling in such housing in which any child who is under age 6 resides or is expected to reside; or

in view

Whole section

Encodings · 2

section_exception_excluded_bedroom_count42 USC § 4822 (e)(1) · parameter

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'

open in graph ↗

section_exception_child_age_limit_years42 USC § 4822 (e)(1) · parameter

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'

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/e/1 · Axiom

2 rules

Official source

graph ↗build calculator ↗

housing for the elderly or persons with disabilities, or any 0-bedroom dwelling, except for any dwelling in such housing in which any child who is under age 6 resides or is expected to reside; or

in view

Whole section

Encodings · 2

section_exception_excluded_bedroom_count42 USC § 4822 (e)(1) · parameter

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'

open in graph ↗

section_exception_child_age_limit_years42 USC § 4822 (e)(1) · parameter

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'

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
        )