loading…

Qualifying smoke alarms

(A) In general Each dwelling unit receiving tenant-based assistance or project-based assistance under this subsection shall have a qualifying smoke alarm 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.

(B) Definitions For purposes of this paragraph, the following definitions shall apply: (i) Smoke alarm defined The term “smoke alarm” has the meaning given the term “smoke detector” in section 2225(d) of title 15 . (ii) 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 — (aa) (AA) is hardwired; or (BB) uses 10-year non rechargeable, nonreplaceable primary batteries and is sealed, is tamper resistant, and contains silencing means; and (bb) 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

▸rulespec code

Shown source

statutes/42/1437f/o.yaml

Displaying the canonical repository encoding.

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

View on GitHub

Rules

payment_standard_general_minimum_fmr_rate

Parameter

source: 42 USC 1437f(o)(1)(B)

- name: payment_standard_general_minimum_fmr_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437f(o)(1)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: shall be not less than 90 percent of that fair market rental
  versions:
    - effective_from: '1998-10-21'
      formula: '0.90'

payment_standard_general_maximum_fmr_rate

Parameter

source: 42 USC 1437f(o)(1)(B)

- name: payment_standard_general_maximum_fmr_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437f(o)(1)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: shall not exceed 110 percent of the fair market rental
  versions:
    - effective_from: '1998-10-21'
      formula: '1.10'

disability_reasonable_accommodation_payment_standard_without_secretary_approval_maximum_fmr_rate

Parameter

source: 42 USC 1437f(o)(1)(D)

- name: disability_reasonable_accommodation_payment_standard_without_secretary_approval_maximum_fmr_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437f(o)(1)(D)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: not more than 120 percent of the fair market rent
  versions:
    - effective_from: '1998-10-21'
      formula: '1.20'

tenant_rent_adjusted_income_rate

Parameter

source: 42 USC 1437f(o)(2)(A)(i)

- name: tenant_rent_adjusted_income_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437f(o)(2)(A)(i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: 30 percent of the monthly adjusted income
  versions:
    - effective_from: '1998-10-21'
      formula: '0.30'

tenant_rent_monthly_income_rate

Parameter

source: 42 USC 1437f(o)(2)(A)(ii)

- name: tenant_rent_monthly_income_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437f(o)(2)(A)(ii)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: 10 percent of the monthly income
  versions:
    - effective_from: '1998-10-21'
      formula: '0.10'

initial_tenant_based_family_rent_adjusted_income_limit_rate

Parameter

source: 42 USC 1437f(o)(3)

- name: initial_tenant_based_family_rent_adjusted_income_limit_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437f(o)(3)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: may not exceed 40 percent of the monthly adjusted income
  versions:
    - effective_from: '1998-10-21'
      formula: '0.40'

project_based_authorized_units_base_limit_rate

Parameter

source: 42 USC 1437f(o)(13)(B)(i)

- name: project_based_authorized_units_base_limit_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437f(o)(13)(B)(i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: not more than 20 percent of the authorized units
  versions:
    - effective_from: '2016-07-29'
      formula: '0.20'

project_based_authorized_units_additional_exception_limit_rate

Parameter

source: 42 USC 1437f(o)(13)(B)(ii)

- name: project_based_authorized_units_additional_exception_limit_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437f(o)(13)(B)(ii)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: up to an additional 10 percent of the authorized units
  versions:
    - effective_from: '2016-07-29'
      formula: '0.10'

project_income_mixing_dwelling_unit_count_limit

Parameter

source: 42 USC 1437f(o)(13)(D)(i)

- name: project_income_mixing_dwelling_unit_count_limit
  kind: parameter
  dtype: Count
  source: 42 USC 1437f(o)(13)(D)(i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: not more than the greater of 25 dwelling units or 25 percent
  versions:
    - effective_from: '2016-07-29'
      formula: '25'

project_income_mixing_dwelling_unit_rate_limit

Parameter

source: 42 USC 1437f(o)(13)(D)(i)

- name: project_income_mixing_dwelling_unit_rate_limit
  kind: parameter
  dtype: Rate
  source: 42 USC 1437f(o)(13)(D)(i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: not more than the greater of 25 dwelling units or 25 percent
  versions:
    - effective_from: '2016-07-29'
      formula: '0.25'

tenant_contribution_greatest_amount

Derived

source: 42 USC 1437f(o)(2)(A)

- name: tenant_contribution_greatest_amount
  kind: derived
  entity: Family
  dtype: Money
  period: Month
  unit: USD
  source: 42 USC 1437f(o)(2)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: the greatest of the following amounts
  versions:
    - effective_from: '1998-10-21'
      formula: >-
        max(tenant_rent_adjusted_income_rate * monthly_adjusted_income,
        tenant_rent_monthly_income_rate * monthly_income, welfare_housing_cost_designated_amount)

tenant_based_monthly_assistance_payment

Derived

source: 42 USC 1437f(o)(2)

- name: tenant_based_monthly_assistance_payment
  kind: derived
  entity: Family
  dtype: Money
  period: Month
  unit: USD
  source: 42 USC 1437f(o)(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: >-
              if the rent ... does not exceed the applicable payment standard ... rent ... exceeds
              the greatest
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: >-
              if the rent ... exceeds the applicable payment standard ... payment standard exceeds
              the greatest
  versions:
    - effective_from: '1998-10-21'
      formula: >-
        if rent_including_tenant_paid_utilities <= applicable_payment_standard: max(0,
        rent_including_tenant_paid_utilities - tenant_contribution_greatest_amount) else: max(0,
        applicable_payment_standard - tenant_contribution_greatest_amount)

initial_tenant_based_family_rent_within_limit

Derived

source: 42 USC 1437f(o)(3)

- name: initial_tenant_based_family_rent_within_limit
  kind: derived
  entity: Family
  dtype: Judgment
  period: Month
  source: 42 USC 1437f(o)(3)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: may not exceed 40 percent of the monthly adjusted income
  versions:
    - effective_from: '1998-10-21'
      formula: >-
        total_initial_family_rent <= initial_tenant_based_family_rent_adjusted_income_limit_rate *
        monthly_adjusted_income

general_payment_standard_within_fair_market_rental_range

Derived

source: 42 USC 1437f(o)(1)(B)

- name: general_payment_standard_within_fair_market_rental_range
  kind: derived
  entity: PublicHousingAgency
  dtype: Judgment
  period: Month
  source: 42 USC 1437f(o)(1)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: shall not exceed 110 percent ... and shall be not less than 90 percent
  versions:
    - effective_from: '1998-10-21'
      formula: |-
        payment_standard >= payment_standard_general_minimum_fmr_rate * fair_market_rental
        and payment_standard <= payment_standard_general_maximum_fmr_rate * fair_market_rental

project_based_authorized_units_within_limit

Derived

source: 42 USC 1437f(o)(13)(B)

- name: project_based_authorized_units_within_limit
  kind: derived
  entity: PublicHousingAgency
  dtype: Judgment
  period: Month
  source: 42 USC 1437f(o)(13)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: not more than 20 percent ... up to an additional 10 percent
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1437f/d#project_based_assistance_common_area_consent_required
            output: project_based_assistance_common_area_consent_required
            hash: sha256:6b4fcf3eca0e705a3c38348fe896c922d97f52e64497735af48af7a03816db45
  versions:
    - effective_from: '2016-07-29'
      formula: >-
        (project_based_assistance_common_area_consent_required

        and (((additional_exception_units_qualify) and project_based_assistance_units <=
        authorized_units * (project_based_authorized_units_base_limit_rate +
        (project_based_authorized_units_additional_exception_limit_rate)))
          or (not (additional_exception_units_qualify) and project_based_assistance_units <= authorized_units * (project_based_authorized_units_base_limit_rate + (0)))))

project_income_mixing_within_limit

Derived

source: 42 USC 1437f(o)(13)(D)

- name: project_income_mixing_within_limit
  kind: derived
  entity: HousingProject
  dtype: Judgment
  period: Month
  source: 42 USC 1437f(o)(13)(D)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: not more than the greater of 25 dwelling units or 25 percent
  versions:
    - effective_from: '2016-07-29'
      formula: >-
        income_mixing_exception_applies

        or assisted_dwelling_units <= max(project_income_mixing_dwelling_unit_count_limit,
        project_income_mixing_dwelling_unit_rate_limit * project_dwelling_units)

loading…

us/statute/42/1437f/o/22 — Qualifying smoke alarms · Axiom

Qualifying smoke alarms

Official source

in view

Whole section

▸rulespec code

Shown source

statutes/42/1437f/o.yaml

Displaying the canonical repository encoding.

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

View on GitHub

Rules

payment_standard_general_minimum_fmr_rate

Parameter

source: 42 USC 1437f(o)(1)(B)

- name: payment_standard_general_minimum_fmr_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437f(o)(1)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: shall be not less than 90 percent of that fair market rental
  versions:
    - effective_from: '1998-10-21'
      formula: '0.90'

payment_standard_general_maximum_fmr_rate

Parameter

source: 42 USC 1437f(o)(1)(B)

- name: payment_standard_general_maximum_fmr_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437f(o)(1)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: shall not exceed 110 percent of the fair market rental
  versions:
    - effective_from: '1998-10-21'
      formula: '1.10'

disability_reasonable_accommodation_payment_standard_without_secretary_approval_maximum_fmr_rate

Parameter

source: 42 USC 1437f(o)(1)(D)

- name: disability_reasonable_accommodation_payment_standard_without_secretary_approval_maximum_fmr_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437f(o)(1)(D)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: not more than 120 percent of the fair market rent
  versions:
    - effective_from: '1998-10-21'
      formula: '1.20'

tenant_rent_adjusted_income_rate

Parameter

source: 42 USC 1437f(o)(2)(A)(i)

- name: tenant_rent_adjusted_income_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437f(o)(2)(A)(i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: 30 percent of the monthly adjusted income
  versions:
    - effective_from: '1998-10-21'
      formula: '0.30'

tenant_rent_monthly_income_rate

Parameter

source: 42 USC 1437f(o)(2)(A)(ii)

- name: tenant_rent_monthly_income_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437f(o)(2)(A)(ii)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: 10 percent of the monthly income
  versions:
    - effective_from: '1998-10-21'
      formula: '0.10'

initial_tenant_based_family_rent_adjusted_income_limit_rate

Parameter

source: 42 USC 1437f(o)(3)

- name: initial_tenant_based_family_rent_adjusted_income_limit_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437f(o)(3)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: may not exceed 40 percent of the monthly adjusted income
  versions:
    - effective_from: '1998-10-21'
      formula: '0.40'

project_based_authorized_units_base_limit_rate

Parameter

source: 42 USC 1437f(o)(13)(B)(i)

- name: project_based_authorized_units_base_limit_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437f(o)(13)(B)(i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: not more than 20 percent of the authorized units
  versions:
    - effective_from: '2016-07-29'
      formula: '0.20'

project_based_authorized_units_additional_exception_limit_rate

Parameter

source: 42 USC 1437f(o)(13)(B)(ii)

- name: project_based_authorized_units_additional_exception_limit_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437f(o)(13)(B)(ii)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: up to an additional 10 percent of the authorized units
  versions:
    - effective_from: '2016-07-29'
      formula: '0.10'

project_income_mixing_dwelling_unit_count_limit

Parameter

source: 42 USC 1437f(o)(13)(D)(i)

- name: project_income_mixing_dwelling_unit_count_limit
  kind: parameter
  dtype: Count
  source: 42 USC 1437f(o)(13)(D)(i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: not more than the greater of 25 dwelling units or 25 percent
  versions:
    - effective_from: '2016-07-29'
      formula: '25'

project_income_mixing_dwelling_unit_rate_limit

Parameter

source: 42 USC 1437f(o)(13)(D)(i)

- name: project_income_mixing_dwelling_unit_rate_limit
  kind: parameter
  dtype: Rate
  source: 42 USC 1437f(o)(13)(D)(i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: not more than the greater of 25 dwelling units or 25 percent
  versions:
    - effective_from: '2016-07-29'
      formula: '0.25'

tenant_contribution_greatest_amount

Derived

source: 42 USC 1437f(o)(2)(A)

- name: tenant_contribution_greatest_amount
  kind: derived
  entity: Family
  dtype: Money
  period: Month
  unit: USD
  source: 42 USC 1437f(o)(2)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: the greatest of the following amounts
  versions:
    - effective_from: '1998-10-21'
      formula: >-
        max(tenant_rent_adjusted_income_rate * monthly_adjusted_income,
        tenant_rent_monthly_income_rate * monthly_income, welfare_housing_cost_designated_amount)

tenant_based_monthly_assistance_payment

Derived

source: 42 USC 1437f(o)(2)

- name: tenant_based_monthly_assistance_payment
  kind: derived
  entity: Family
  dtype: Money
  period: Month
  unit: USD
  source: 42 USC 1437f(o)(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: >-
              if the rent ... does not exceed the applicable payment standard ... rent ... exceeds
              the greatest
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: >-
              if the rent ... exceeds the applicable payment standard ... payment standard exceeds
              the greatest
  versions:
    - effective_from: '1998-10-21'
      formula: >-
        if rent_including_tenant_paid_utilities <= applicable_payment_standard: max(0,
        rent_including_tenant_paid_utilities - tenant_contribution_greatest_amount) else: max(0,
        applicable_payment_standard - tenant_contribution_greatest_amount)

initial_tenant_based_family_rent_within_limit

Derived

source: 42 USC 1437f(o)(3)

- name: initial_tenant_based_family_rent_within_limit
  kind: derived
  entity: Family
  dtype: Judgment
  period: Month
  source: 42 USC 1437f(o)(3)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: may not exceed 40 percent of the monthly adjusted income
  versions:
    - effective_from: '1998-10-21'
      formula: >-
        total_initial_family_rent <= initial_tenant_based_family_rent_adjusted_income_limit_rate *
        monthly_adjusted_income

general_payment_standard_within_fair_market_rental_range

Derived

source: 42 USC 1437f(o)(1)(B)

- name: general_payment_standard_within_fair_market_rental_range
  kind: derived
  entity: PublicHousingAgency
  dtype: Judgment
  period: Month
  source: 42 USC 1437f(o)(1)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: shall not exceed 110 percent ... and shall be not less than 90 percent
  versions:
    - effective_from: '1998-10-21'
      formula: |-
        payment_standard >= payment_standard_general_minimum_fmr_rate * fair_market_rental
        and payment_standard <= payment_standard_general_maximum_fmr_rate * fair_market_rental

project_based_authorized_units_within_limit

Derived

source: 42 USC 1437f(o)(13)(B)

- name: project_based_authorized_units_within_limit
  kind: derived
  entity: PublicHousingAgency
  dtype: Judgment
  period: Month
  source: 42 USC 1437f(o)(13)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: not more than 20 percent ... up to an additional 10 percent
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1437f/d#project_based_assistance_common_area_consent_required
            output: project_based_assistance_common_area_consent_required
            hash: sha256:6b4fcf3eca0e705a3c38348fe896c922d97f52e64497735af48af7a03816db45
  versions:
    - effective_from: '2016-07-29'
      formula: >-
        (project_based_assistance_common_area_consent_required

        and (((additional_exception_units_qualify) and project_based_assistance_units <=
        authorized_units * (project_based_authorized_units_base_limit_rate +
        (project_based_authorized_units_additional_exception_limit_rate)))
          or (not (additional_exception_units_qualify) and project_based_assistance_units <= authorized_units * (project_based_authorized_units_base_limit_rate + (0)))))

project_income_mixing_within_limit

Derived

source: 42 USC 1437f(o)(13)(D)

- name: project_income_mixing_within_limit
  kind: derived
  entity: HousingProject
  dtype: Judgment
  period: Month
  source: 42 USC 1437f(o)(13)(D)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: not more than the greater of 25 dwelling units or 25 percent
  versions:
    - effective_from: '2016-07-29'
      formula: >-
        income_mixing_exception_applies

        or assisted_dwelling_units <= max(project_income_mixing_dwelling_unit_count_limit,
        project_income_mixing_dwelling_unit_rate_limit * project_dwelling_units)