loading…

Qualifying smoke alarms

4 rules1 of 2 subsections

(1) In general

(1)In general#

Housing and related facilities constructed with loans under this section shall contain qualifying smoke alarms that are installed in accordance with applicable codes and standards published by the International Code Council or the National Fire Protection Association and the requirements of the National Fire Protection Association Standard 72, or any successor standard, in each level and in or near each sleeping area in such dwelling unit, including in basements but excepting crawl spaces and unfinished attics, and in each common area in a project containing such a dwelling unit.

(2)Definitions∀ 1#

For purposes of this subsection, the following definitions shall apply:

(A) Smoke alarm defined The term “smoke alarm” has the meaning given the term “smoke detector” in section 2225(d) of title 15 .

(B) Qualifying smoke alarm defined The term “qualifying smoke alarm” means a smoke alarm that— (i) in the case of a dwelling unit built before December 29, 2022 , and not substantially rehabilitated after December 29, 2022 — (I) (aa) is hardwired; or (bb) uses 10-year non rechargeable, nonreplaceable primary batteries and— (AA) is sealed; (BB) is tamper resistant; and (CC) contains silencing means; and (II) provides notification for persons with hearing loss as required by the National Fire Protection Association Standard 72, or any successor standard; or (ii) in the case of a dwelling unit built or substantially rehabilitated after December 29, 2022 , is hardwired.

in view

Whole section

Encodings · 4

qualifying_battery_smoke_alarm_service_life_years42 USC § 1484 (k) (2) · parameter

42 USC 1484(k)(2)(B)(i)(I)(bb)

name: qualifying_battery_smoke_alarm_service_life_years
kind: parameter
dtype: Count
source: 42 USC 1484(k)(2)(B)(i)(I)(bb)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us/statute/42/1484
          excerpt: uses 10-year non rechargeable, nonreplaceable primary batteries
versions:
  - effective_from: '2022-12-29'
    formula: '10'

open in graph ↗

new_or_rehabilitated_dwelling_unit_requires_hardwired_smoke_alarm42 USC § 1484 (k) · derived

42 USC 1484(k)

name: new_or_rehabilitated_dwelling_unit_requires_hardwired_smoke_alarm
kind: derived
entity: HousingFacility
dtype: Judgment
period: Year
source: 42 USC 1484(k)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/1484
          excerpt: >-
            dwelling unit built or substantially rehabilitated after December
            29, 2022, is hardwired
versions:
  - effective_from: '2022-12-29'
    formula: >-
      dwelling_unit_built_or_substantially_rehabilitated_after_statutory_smoke_alarm_date

      and smoke_alarm_is_hardwired

open in graph ↗

existing_dwelling_unit_has_qualifying_smoke_alarm42 USC § 1484 (k) · derived

42 USC 1484(k)

name: existing_dwelling_unit_has_qualifying_smoke_alarm
kind: derived
entity: HousingFacility
dtype: Judgment
period: Year
source: 42 USC 1484(k)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/1484
          excerpt: >-
            built before December 29, 2022, and not substantially rehabilitated
            after December 29, 2022
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/1484
          excerpt: >-
            is hardwired; or ... uses 10-year non rechargeable, nonreplaceable
            primary batteries
versions:
  - effective_from: '2022-12-29'
    formula: >-
      dwelling_unit_built_before_statutory_smoke_alarm_date

      and not
      dwelling_unit_substantially_rehabilitated_after_statutory_smoke_alarm_date

      and (smoke_alarm_is_hardwired or
      (smoke_alarm_uses_primary_batteries_with_service_life_years >=
      qualifying_battery_smoke_alarm_service_life_years and
      smoke_alarm_primary_batteries_are_non_rechargeable and
      smoke_alarm_primary_batteries_are_nonreplaceable and smoke_alarm_is_sealed
      and smoke_alarm_is_tamper_resistant and
      smoke_alarm_contains_silencing_means))

      and smoke_alarm_provides_required_hearing_loss_notification

open in graph ↗

farm_labor_loan_housing_contains_qualifying_smoke_alarms42 USC § 1484 (k) · derived

42 USC 1484(k)

name: farm_labor_loan_housing_contains_qualifying_smoke_alarms
kind: derived
entity: HousingFacility
dtype: Judgment
period: Year
source: 42 USC 1484(k)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/1484
          excerpt: >-
            Housing and related facilities constructed with loans under this
            section shall contain qualifying smoke alarms
versions:
  - effective_from: '2022-12-29'
    formula: >-
      constructed_with_loan_under_this_section

      and smoke_alarms_installed_in_accordance_with_applicable_codes_and_nfpa_72

      and
      smoke_alarms_installed_on_each_level_except_crawl_spaces_and_unfinished_attics

      and smoke_alarms_installed_in_or_near_each_sleeping_area

      and smoke_alarms_installed_in_each_common_area_in_project

      and (new_or_rehabilitated_dwelling_unit_requires_hardwired_smoke_alarm or
      existing_dwelling_unit_has_qualifying_smoke_alarm)

open in graph ↗

▸rulespec code

Shown source

statutes/42/1484.yaml

Displaying the canonical repository encoding.

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

View on GitHub

Rules

insured_loan_interest_rate_cap

Parameter

source: 42 USC 1484(a)(2)

- name: insured_loan_interest_rate_cap
  kind: parameter
  dtype: Rate
  source: 42 USC 1484(a)(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1484
            excerpt: bears interest at a rate in excess of 1 per centum per annum
  versions:
    - effective_from: '0001-01-01'
      formula: '0.01'

secretary_retained_charge_minimum_rate

Parameter

source: 42 USC 1484(a)(3)

- name: secretary_retained_charge_minimum_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1484(a)(3)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1484
            excerpt: not less than one-half of 1 per centum per annum
  versions:
    - effective_from: '0001-01-01'
      formula: '0.005'

insurance_fund_charge_deposit_minimum_rate

Parameter

source: 42 USC 1484(b)(3)

- name: insurance_fund_charge_deposit_minimum_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1484(b)(3)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1484
            excerpt: amounts not less than one-half of 1 per centum per annum
  versions:
    - effective_from: '0001-01-01'
      formula: '0.005'

qualifying_battery_smoke_alarm_service_life_years

Parameter(2) in text ↖

source: 42 USC 1484(k)(2)(B)(i)(I)(bb)

- name: qualifying_battery_smoke_alarm_service_life_years
  kind: parameter
  dtype: Count
  source: 42 USC 1484(k)(2)(B)(i)(I)(bb)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1484
            excerpt: uses 10-year non rechargeable, nonreplaceable primary batteries
  versions:
    - effective_from: '2022-12-29'
      formula: '10'

new_or_rehabilitated_dwelling_unit_requires_hardwired_smoke_alarm

Derived

source: 42 USC 1484(k)

- name: new_or_rehabilitated_dwelling_unit_requires_hardwired_smoke_alarm
  kind: derived
  entity: HousingFacility
  dtype: Judgment
  period: Year
  source: 42 USC 1484(k)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/1484
            excerpt: >-
              dwelling unit built or substantially rehabilitated after December 29, 2022, is
              hardwired
  versions:
    - effective_from: '2022-12-29'
      formula: |-
        dwelling_unit_built_or_substantially_rehabilitated_after_statutory_smoke_alarm_date
        and smoke_alarm_is_hardwired

existing_dwelling_unit_has_qualifying_smoke_alarm

Derived

source: 42 USC 1484(k)

- name: existing_dwelling_unit_has_qualifying_smoke_alarm
  kind: derived
  entity: HousingFacility
  dtype: Judgment
  period: Year
  source: 42 USC 1484(k)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/1484
            excerpt: >-
              built before December 29, 2022, and not substantially rehabilitated after December 29,
              2022
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/1484
            excerpt: is hardwired; or ... uses 10-year non rechargeable, nonreplaceable primary batteries
  versions:
    - effective_from: '2022-12-29'
      formula: >-
        dwelling_unit_built_before_statutory_smoke_alarm_date

        and not dwelling_unit_substantially_rehabilitated_after_statutory_smoke_alarm_date

        and (smoke_alarm_is_hardwired or (smoke_alarm_uses_primary_batteries_with_service_life_years
        >= qualifying_battery_smoke_alarm_service_life_years and
        smoke_alarm_primary_batteries_are_non_rechargeable and
        smoke_alarm_primary_batteries_are_nonreplaceable and smoke_alarm_is_sealed and
        smoke_alarm_is_tamper_resistant and smoke_alarm_contains_silencing_means))

        and smoke_alarm_provides_required_hearing_loss_notification

farm_labor_loan_housing_contains_qualifying_smoke_alarms

Derived

source: 42 USC 1484(k)

- name: farm_labor_loan_housing_contains_qualifying_smoke_alarms
  kind: derived
  entity: HousingFacility
  dtype: Judgment
  period: Year
  source: 42 USC 1484(k)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/1484
            excerpt: >-
              Housing and related facilities constructed with loans under this section shall contain
              qualifying smoke alarms
  versions:
    - effective_from: '2022-12-29'
      formula: >-
        constructed_with_loan_under_this_section

        and smoke_alarms_installed_in_accordance_with_applicable_codes_and_nfpa_72

        and smoke_alarms_installed_on_each_level_except_crawl_spaces_and_unfinished_attics

        and smoke_alarms_installed_in_or_near_each_sleeping_area

        and smoke_alarms_installed_in_each_common_area_in_project

        and (new_or_rehabilitated_dwelling_unit_requires_hardwired_smoke_alarm or
        existing_dwelling_unit_has_qualifying_smoke_alarm)

housing

Derived

source: 42 USC 1484(f)

- name: housing
  kind: derived
  entity: HousingFacility
  dtype: Judgment
  period: Year
  source: 42 USC 1484(f)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/42/1484
  versions:
    - effective_from: '0001-01-01'
      formula: >-
        new_structure_suitable_for_dwelling_use_by_domestic_farm_labor

        or
        existing_structure_can_be_made_suitable_for_dwelling_use_by_domestic_farm_labor_by_rehabilitation_alteration_conversion_or_improvement

related_facilities

Derived

source: 42 USC 1484(f)

- name: related_facilities
  kind: derived
  entity: HousingFacility
  dtype: Judgment
  period: Year
  source: 42 USC 1484(f)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/42/1484
  versions:
    - effective_from: '0001-01-01'
      formula: >-
        new_structure_suitable_for_dining_community_infirmary_or_other_essential_service_facility_use

        or
        existing_structure_can_be_made_suitable_for_dining_community_infirmary_or_other_essential_service_facility_use_by_rehabilitation_alteration_conversion_or_improvement

        or land_necessary_for_adequate_site

domestic_farm_labor

Derived

source: 42 USC 1484(f)

- name: domestic_farm_labor
  kind: derived
  entity: Person
  dtype: Judgment
  period: Year
  source: 42 USC 1484(f)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/42/1484
  versions:
    - effective_from: '0001-01-01'
      formula: >-
        receives_substantial_income_from_agricultural_or_aquacultural_production_handling_or_processing

        and (person_is_united_states_citizen or person_legally_admitted_for_permanent_residence or
        person_legally_admitted_to_united_states_and_authorized_to_work_in_agriculture)

retired_or_disabled_person_included_as_domestic_farm_labor

Derived

source: 42 USC 1484(f)

- name: retired_or_disabled_person_included_as_domestic_farm_labor
  kind: derived
  entity: Person
  dtype: Judgment
  period: Year
  source: 42 USC 1484(f)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/42/1484
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        person_is_retired_or_disabled
        and person_was_domestic_farm_labor_at_retirement_or_disability

assistance_need_determination_limited_to_domestic_farm_labor_housing_needs

Derived

source: 42 USC 1484(h)

- name: assistance_need_determination_limited_to_domestic_farm_labor_housing_needs
  kind: derived
  entity: AssistanceArea
  dtype: Judgment
  period: Year
  source: 42 USC 1484(h)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/1484
            excerpt: take into consideration the housing needs only of domestic farm labor
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        assistance_made_available_under_this_section_or_section_1486
        and need_determination_considers_only_domestic_farm_labor_housing_needs_in_area

assistance_decision_disregards_other_area_housing_needs

Derived

source: 42 USC 1484(h)

- name: assistance_decision_disregards_other_area_housing_needs
  kind: derived
  entity: AssistanceArea
  dtype: Judgment
  period: Year
  source: 42 USC 1484(h)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/1484
            excerpt: without regard to the extent or nature of other housing needs in the area
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        assistance_made_available_under_this_section_or_section_1486
        and assistance_decision_made_without_regard_to_other_housing_needs_in_area

loading…

us/statute/42/1484/k — Qualifying smoke alarms · Axiom

Qualifying smoke alarms

4 rules1 of 2 subsections

Official source

graph ↗build calculator ↗

(1) In general

(1)In general#

(2)Definitions∀ 1#

For purposes of this subsection, the following definitions shall apply:

(A) Smoke alarm defined The term “smoke alarm” has the meaning given the term “smoke detector” in section 2225(d) of title 15 .

in view

Whole section

Encodings · 4

qualifying_battery_smoke_alarm_service_life_years42 USC § 1484 (k) (2) · parameter

42 USC 1484(k)(2)(B)(i)(I)(bb)

name: qualifying_battery_smoke_alarm_service_life_years
kind: parameter
dtype: Count
source: 42 USC 1484(k)(2)(B)(i)(I)(bb)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us/statute/42/1484
          excerpt: uses 10-year non rechargeable, nonreplaceable primary batteries
versions:
  - effective_from: '2022-12-29'
    formula: '10'

open in graph ↗

new_or_rehabilitated_dwelling_unit_requires_hardwired_smoke_alarm42 USC § 1484 (k) · derived

42 USC 1484(k)

name: new_or_rehabilitated_dwelling_unit_requires_hardwired_smoke_alarm
kind: derived
entity: HousingFacility
dtype: Judgment
period: Year
source: 42 USC 1484(k)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/1484
          excerpt: >-
            dwelling unit built or substantially rehabilitated after December
            29, 2022, is hardwired
versions:
  - effective_from: '2022-12-29'
    formula: >-
      dwelling_unit_built_or_substantially_rehabilitated_after_statutory_smoke_alarm_date

      and smoke_alarm_is_hardwired

open in graph ↗

existing_dwelling_unit_has_qualifying_smoke_alarm42 USC § 1484 (k) · derived

42 USC 1484(k)

name: existing_dwelling_unit_has_qualifying_smoke_alarm
kind: derived
entity: HousingFacility
dtype: Judgment
period: Year
source: 42 USC 1484(k)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/1484
          excerpt: >-
            built before December 29, 2022, and not substantially rehabilitated
            after December 29, 2022
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/1484
          excerpt: >-
            is hardwired; or ... uses 10-year non rechargeable, nonreplaceable
            primary batteries
versions:
  - effective_from: '2022-12-29'
    formula: >-
      dwelling_unit_built_before_statutory_smoke_alarm_date

      and not
      dwelling_unit_substantially_rehabilitated_after_statutory_smoke_alarm_date

      and (smoke_alarm_is_hardwired or
      (smoke_alarm_uses_primary_batteries_with_service_life_years >=
      qualifying_battery_smoke_alarm_service_life_years and
      smoke_alarm_primary_batteries_are_non_rechargeable and
      smoke_alarm_primary_batteries_are_nonreplaceable and smoke_alarm_is_sealed
      and smoke_alarm_is_tamper_resistant and
      smoke_alarm_contains_silencing_means))

      and smoke_alarm_provides_required_hearing_loss_notification

open in graph ↗

farm_labor_loan_housing_contains_qualifying_smoke_alarms42 USC § 1484 (k) · derived

42 USC 1484(k)

name: farm_labor_loan_housing_contains_qualifying_smoke_alarms
kind: derived
entity: HousingFacility
dtype: Judgment
period: Year
source: 42 USC 1484(k)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/1484
          excerpt: >-
            Housing and related facilities constructed with loans under this
            section shall contain qualifying smoke alarms
versions:
  - effective_from: '2022-12-29'
    formula: >-
      constructed_with_loan_under_this_section

      and smoke_alarms_installed_in_accordance_with_applicable_codes_and_nfpa_72

      and
      smoke_alarms_installed_on_each_level_except_crawl_spaces_and_unfinished_attics

      and smoke_alarms_installed_in_or_near_each_sleeping_area

      and smoke_alarms_installed_in_each_common_area_in_project

      and (new_or_rehabilitated_dwelling_unit_requires_hardwired_smoke_alarm or
      existing_dwelling_unit_has_qualifying_smoke_alarm)

open in graph ↗

▸rulespec code

Shown source

statutes/42/1484.yaml

Displaying the canonical repository encoding.

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

View on GitHub

Rules

insured_loan_interest_rate_cap

Parameter

source: 42 USC 1484(a)(2)

- name: insured_loan_interest_rate_cap
  kind: parameter
  dtype: Rate
  source: 42 USC 1484(a)(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1484
            excerpt: bears interest at a rate in excess of 1 per centum per annum
  versions:
    - effective_from: '0001-01-01'
      formula: '0.01'

secretary_retained_charge_minimum_rate

Parameter

source: 42 USC 1484(a)(3)

- name: secretary_retained_charge_minimum_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1484(a)(3)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1484
            excerpt: not less than one-half of 1 per centum per annum
  versions:
    - effective_from: '0001-01-01'
      formula: '0.005'

insurance_fund_charge_deposit_minimum_rate

Parameter

source: 42 USC 1484(b)(3)

- name: insurance_fund_charge_deposit_minimum_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1484(b)(3)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1484
            excerpt: amounts not less than one-half of 1 per centum per annum
  versions:
    - effective_from: '0001-01-01'
      formula: '0.005'

qualifying_battery_smoke_alarm_service_life_years

Parameter(2) in text ↖

source: 42 USC 1484(k)(2)(B)(i)(I)(bb)

- name: qualifying_battery_smoke_alarm_service_life_years
  kind: parameter
  dtype: Count
  source: 42 USC 1484(k)(2)(B)(i)(I)(bb)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1484
            excerpt: uses 10-year non rechargeable, nonreplaceable primary batteries
  versions:
    - effective_from: '2022-12-29'
      formula: '10'

new_or_rehabilitated_dwelling_unit_requires_hardwired_smoke_alarm

Derived

source: 42 USC 1484(k)

- name: new_or_rehabilitated_dwelling_unit_requires_hardwired_smoke_alarm
  kind: derived
  entity: HousingFacility
  dtype: Judgment
  period: Year
  source: 42 USC 1484(k)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/1484
            excerpt: >-
              dwelling unit built or substantially rehabilitated after December 29, 2022, is
              hardwired
  versions:
    - effective_from: '2022-12-29'
      formula: |-
        dwelling_unit_built_or_substantially_rehabilitated_after_statutory_smoke_alarm_date
        and smoke_alarm_is_hardwired

existing_dwelling_unit_has_qualifying_smoke_alarm

Derived

source: 42 USC 1484(k)

- name: existing_dwelling_unit_has_qualifying_smoke_alarm
  kind: derived
  entity: HousingFacility
  dtype: Judgment
  period: Year
  source: 42 USC 1484(k)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/1484
            excerpt: >-
              built before December 29, 2022, and not substantially rehabilitated after December 29,
              2022
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/1484
            excerpt: is hardwired; or ... uses 10-year non rechargeable, nonreplaceable primary batteries
  versions:
    - effective_from: '2022-12-29'
      formula: >-
        dwelling_unit_built_before_statutory_smoke_alarm_date

        and not dwelling_unit_substantially_rehabilitated_after_statutory_smoke_alarm_date

        and (smoke_alarm_is_hardwired or (smoke_alarm_uses_primary_batteries_with_service_life_years
        >= qualifying_battery_smoke_alarm_service_life_years and
        smoke_alarm_primary_batteries_are_non_rechargeable and
        smoke_alarm_primary_batteries_are_nonreplaceable and smoke_alarm_is_sealed and
        smoke_alarm_is_tamper_resistant and smoke_alarm_contains_silencing_means))

        and smoke_alarm_provides_required_hearing_loss_notification

farm_labor_loan_housing_contains_qualifying_smoke_alarms

Derived

source: 42 USC 1484(k)

- name: farm_labor_loan_housing_contains_qualifying_smoke_alarms
  kind: derived
  entity: HousingFacility
  dtype: Judgment
  period: Year
  source: 42 USC 1484(k)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/1484
            excerpt: >-
              Housing and related facilities constructed with loans under this section shall contain
              qualifying smoke alarms
  versions:
    - effective_from: '2022-12-29'
      formula: >-
        constructed_with_loan_under_this_section

        and smoke_alarms_installed_in_accordance_with_applicable_codes_and_nfpa_72

        and smoke_alarms_installed_on_each_level_except_crawl_spaces_and_unfinished_attics

        and smoke_alarms_installed_in_or_near_each_sleeping_area

        and smoke_alarms_installed_in_each_common_area_in_project

        and (new_or_rehabilitated_dwelling_unit_requires_hardwired_smoke_alarm or
        existing_dwelling_unit_has_qualifying_smoke_alarm)

housing

Derived

source: 42 USC 1484(f)

- name: housing
  kind: derived
  entity: HousingFacility
  dtype: Judgment
  period: Year
  source: 42 USC 1484(f)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/42/1484
  versions:
    - effective_from: '0001-01-01'
      formula: >-
        new_structure_suitable_for_dwelling_use_by_domestic_farm_labor

        or
        existing_structure_can_be_made_suitable_for_dwelling_use_by_domestic_farm_labor_by_rehabilitation_alteration_conversion_or_improvement

related_facilities

Derived

source: 42 USC 1484(f)

- name: related_facilities
  kind: derived
  entity: HousingFacility
  dtype: Judgment
  period: Year
  source: 42 USC 1484(f)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/42/1484
  versions:
    - effective_from: '0001-01-01'
      formula: >-
        new_structure_suitable_for_dining_community_infirmary_or_other_essential_service_facility_use

        or
        existing_structure_can_be_made_suitable_for_dining_community_infirmary_or_other_essential_service_facility_use_by_rehabilitation_alteration_conversion_or_improvement

        or land_necessary_for_adequate_site

domestic_farm_labor

Derived

source: 42 USC 1484(f)

- name: domestic_farm_labor
  kind: derived
  entity: Person
  dtype: Judgment
  period: Year
  source: 42 USC 1484(f)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/42/1484
  versions:
    - effective_from: '0001-01-01'
      formula: >-
        receives_substantial_income_from_agricultural_or_aquacultural_production_handling_or_processing

        and (person_is_united_states_citizen or person_legally_admitted_for_permanent_residence or
        person_legally_admitted_to_united_states_and_authorized_to_work_in_agriculture)

retired_or_disabled_person_included_as_domestic_farm_labor

Derived

source: 42 USC 1484(f)

- name: retired_or_disabled_person_included_as_domestic_farm_labor
  kind: derived
  entity: Person
  dtype: Judgment
  period: Year
  source: 42 USC 1484(f)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/42/1484
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        person_is_retired_or_disabled
        and person_was_domestic_farm_labor_at_retirement_or_disability

assistance_need_determination_limited_to_domestic_farm_labor_housing_needs

Derived

source: 42 USC 1484(h)

- name: assistance_need_determination_limited_to_domestic_farm_labor_housing_needs
  kind: derived
  entity: AssistanceArea
  dtype: Judgment
  period: Year
  source: 42 USC 1484(h)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/1484
            excerpt: take into consideration the housing needs only of domestic farm labor
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        assistance_made_available_under_this_section_or_section_1486
        and need_determination_considers_only_domestic_farm_labor_housing_needs_in_area

assistance_decision_disregards_other_area_housing_needs

Derived

source: 42 USC 1484(h)

- name: assistance_decision_disregards_other_area_housing_needs
  kind: derived
  entity: AssistanceArea
  dtype: Judgment
  period: Year
  source: 42 USC 1484(h)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/1484
            excerpt: without regard to the extent or nature of other housing needs in the area
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        assistance_made_available_under_this_section_or_section_1486
        and assistance_decision_made_without_regard_to_other_housing_needs_in_area