loading…

Definitions

1 rule

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 · 1

qualifying_battery_smoke_alarm_service_life_years42 USC § 1484 (k)(2) (B) · 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 ↗

▸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(B) 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/2 — Definitions · Axiom

Definitions

1 rule

Official source

graph ↗build calculator ↗

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 · 1

qualifying_battery_smoke_alarm_service_life_years42 USC § 1484 (k)(2) (B) · 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 ↗

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