loading…

us/statute/42/1437a/a/8 — Carbon monoxide alarms .— · Axiom

Carbon monoxide alarms .—

Each public housing agency shall ensure that carbon monoxide alarms or detectors are installed in each dwelling unit in public housing owned or operated by the public housing agency 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/1437a.yaml

Displaying the canonical repository encoding.

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

View on GitHub

Rules

statutory_net_family_assets_imputed_return_exclusion_threshold

Parameter

source: 42 U.S.C. 1437a, excluded amounts, clause (i)

- name: statutory_net_family_assets_imputed_return_exclusion_threshold
  kind: parameter
  dtype: Money
  unit: USD
  source: 42 U.S.C. 1437a, excluded amounts, clause (i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/1437a/b/4/b
            excerpt: net family assets exceed $50,000
  versions:
    - effective_from: '2024-01-01'
      formula: '50000'

net_family_assets_exceed_statutory_imputed_return_exclusion_threshold

Derived

source: 42 U.S.C. 1437a, excluded amounts, clause (i)

- name: net_family_assets_exceed_statutory_imputed_return_exclusion_threshold
  kind: derived
  entity: Household
  dtype: Judgment
  period: Year
  source: 42 U.S.C. 1437a, excluded amounts, clause (i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437a/b/4/b
            excerpt: except to the extent that net family assets exceed $50,000
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1437a#statutory_net_family_assets_imputed_return_exclusion_threshold
            output: statutory_net_family_assets_imputed_return_exclusion_threshold
            hash: sha256:local
  versions:
    - effective_from: '2024-01-01'
      formula: net_family_assets > statutory_net_family_assets_imputed_return_exclusion_threshold

imputed_return_on_assets_excluded_from_income

Derived

source: 42 U.S.C. 1437a, excluded amounts, clause (i)

- name: imputed_return_on_assets_excluded_from_income
  kind: derived
  entity: Household
  dtype: Money
  period: Year
  unit: USD
  source: 42 U.S.C. 1437a, excluded amounts, clause (i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437a/b/4/b
            excerpt: >-
              any imputed return on assets, except to the extent that net family assets exceed
              $50,000
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1437a#statutory_net_family_assets_imputed_return_exclusion_threshold
            output: statutory_net_family_assets_imputed_return_exclusion_threshold
            hash: sha256:local
  versions:
    - effective_from: '2024-01-01'
      formula: >-
        if net_family_assets > statutory_net_family_assets_imputed_return_exclusion_threshold:
        max(0, imputed_return_on_assets *
        statutory_net_family_assets_imputed_return_exclusion_threshold / net_family_assets) else:
        max(0, imputed_return_on_assets)

loading…

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/1437a.yaml

Displaying the canonical repository encoding.

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

View on GitHub

Rules

statutory_net_family_assets_imputed_return_exclusion_threshold

Parameter

source: 42 U.S.C. 1437a, excluded amounts, clause (i)

- name: statutory_net_family_assets_imputed_return_exclusion_threshold
  kind: parameter
  dtype: Money
  unit: USD
  source: 42 U.S.C. 1437a, excluded amounts, clause (i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/1437a/b/4/b
            excerpt: net family assets exceed $50,000
  versions:
    - effective_from: '2024-01-01'
      formula: '50000'

net_family_assets_exceed_statutory_imputed_return_exclusion_threshold

Derived

source: 42 U.S.C. 1437a, excluded amounts, clause (i)

- name: net_family_assets_exceed_statutory_imputed_return_exclusion_threshold
  kind: derived
  entity: Household
  dtype: Judgment
  period: Year
  source: 42 U.S.C. 1437a, excluded amounts, clause (i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437a/b/4/b
            excerpt: except to the extent that net family assets exceed $50,000
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1437a#statutory_net_family_assets_imputed_return_exclusion_threshold
            output: statutory_net_family_assets_imputed_return_exclusion_threshold
            hash: sha256:local
  versions:
    - effective_from: '2024-01-01'
      formula: net_family_assets > statutory_net_family_assets_imputed_return_exclusion_threshold

imputed_return_on_assets_excluded_from_income

Derived

source: 42 U.S.C. 1437a, excluded amounts, clause (i)

- name: imputed_return_on_assets_excluded_from_income
  kind: derived
  entity: Household
  dtype: Money
  period: Year
  unit: USD
  source: 42 U.S.C. 1437a, excluded amounts, clause (i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437a/b/4/b
            excerpt: >-
              any imputed return on assets, except to the extent that net family assets exceed
              $50,000
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1437a#statutory_net_family_assets_imputed_return_exclusion_threshold
            output: statutory_net_family_assets_imputed_return_exclusion_threshold
            hash: sha256:local
  versions:
    - effective_from: '2024-01-01'
      formula: >-
        if net_family_assets > statutory_net_family_assets_imputed_return_exclusion_threshold:
        max(0, imputed_return_on_assets *
        statutory_net_family_assets_imputed_return_exclusion_threshold / net_family_assets) else:
        max(0, imputed_return_on_assets)