loading…

Carbon monoxide alarms

Each dwelling unit receiving tenant-based assistance or project-based assistance under this subsection shall have carbon monoxide alarms or detectors installed in the dwelling unit in a manner that meets or exceeds—

(A) the standards described in chapters 9 and 11 of the 2018 publication of the International Fire Code, as published by the International Code Council; or

(B) any other standards as may be adopted by the Secretary, including any relevant updates to the International Fire Code, through a notice published in the Federal Register.

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/21 — Carbon monoxide alarms · Axiom

Carbon monoxide alarms

Official source

(A) the standards described in chapters 9 and 11 of the 2018 publication of the International Fire Code, as published by the International Code Council; or

(B) any other standards as may be adopted by the Secretary, including any relevant updates to the International Fire Code, through a notice published in the Federal Register.

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)