loading…

Revisions of the International Energy Conservation Code

1 rule

If the requirements of the 2006 IECC, or, in the case of multifamily high rises, ASHRAE Standard 90.1–2004, are revised at any time, the Secretaries shall, not later than 1 year after such revision, amend the standards established under subsection (a) to meet or exceed the requirements of such revised code or standard unless the Secretaries determine that compliance with such revised code or standard would not result in a significant increase in energy efficiency or would not be technologically feasible or economically justified.

in view

Whole section

Encodings · 1

revised_standards_amendment_required42 USC § 12709 (c) · derived

42 U.S.C. 12709(c)

name: revised_standards_amendment_required
kind: derived
entity: HousingProject
dtype: Judgment
period: Year
source: 42 U.S.C. 12709(c)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/12709
          excerpt: >-
            If the requirements of the 2006 IECC, or ... ASHRAE Standard
            90.1-2004, are revised at any time
      - path: versions[0].formula
        kind: exception
        source:
          corpus_citation_path: us/statute/42/12709
          excerpt: >-
            unless the Secretaries determine that compliance ... would not
            result in a significant increase in energy efficiency or would not
            be technologically feasible or economically justified
versions:
  - effective_from: '2006-09-30'
    formula: >-
      code_or_standard_requirements_are_revised

      and not
      secretaries_determine_revised_code_or_standard_would_not_significantly_increase_energy_efficiency

      and not
      secretaries_determine_revised_code_or_standard_would_not_be_technologically_feasible

      and not
      secretaries_determine_revised_code_or_standard_would_not_be_economically_justified

open in graph ↗

▸rulespec code

Shown source

statutes/42/12709.yaml

Displaying the canonical repository encoding.

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

View on GitHub

Rules

standard_is_multifamily_high_rise_specific

Derived

source: 42 U.S.C. 12709(a)(2), (b), (c)

- name: standard_is_multifamily_high_rise_specific
  kind: derived
  entity: HousingProject
  dtype: Judgment
  period: Year
  source: 42 U.S.C. 12709(a)(2), (b), (c)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/12709
            excerpt: in the case of multifamily high rises
  versions:
    - effective_from: '2006-09-30'
      formula: housing_is_multifamily_high_rise

initial_energy_efficiency_standards_satisfy_required_code_and_cost_effectiveness

Derived

source: 42 U.S.C. 12709(a)(2)

- name: initial_energy_efficiency_standards_satisfy_required_code_and_cost_effectiveness
  kind: derived
  entity: HousingProject
  dtype: Judgment
  period: Year
  source: 42 U.S.C. 12709(a)(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/12709
            excerpt: >-
              Such standards shall meet or exceed the requirements of the 2006 International Energy
              Conservation Code
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/12709
            excerpt: >-
              or, in the case of multifamily high rises, the requirements of ... ASHRAE Standard
              90.1-2004
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/12709
            excerpt: >-
              shall be cost-effective with respect to construction and operating costs on a
              life-cycle cost basis
  versions:
    - effective_from: '2006-09-30'
      formula: >-
        ((((standard_is_multifamily_high_rise_specific) and
        standards_meet_or_exceed_ashrae_standard_90_1_2004)
          or (not (standard_is_multifamily_high_rise_specific) and standards_meet_or_exceed_2006_iecc))) and standards_are_cost_effective_on_life_cycle_cost_basis

covered_housing_subject_to_default_code_standard

Derived

source: 42 U.S.C. 12709(b)

- name: covered_housing_subject_to_default_code_standard
  kind: derived
  entity: HousingProject
  dtype: Judgment
  period: Year
  source: 42 U.S.C. 12709(b)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/12709
            excerpt: >-
              If the Secretaries have not, by September 30, 2006, established energy efficiency
              standards under subsection (a)
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/12709
            excerpt: >-
              all new construction and rehabilitation of housing specified in such subsection shall
              meet the requirements of the 2006 IECC
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/12709
            excerpt: >-
              or, in the case of multifamily high rises, the requirements of ASHRAE Standard
              90.1-2004
  versions:
    - effective_from: '2006-09-30'
      formula: >-
        secretaries_have_not_established_energy_efficiency_standards_by_statutory_deadline and
        housing_is_new_construction_or_rehabilitation_specified_in_subsection_a and
        ((((standard_is_multifamily_high_rise_specific) and housing_meets_ashrae_standard_90_1_2004)
          or (not (standard_is_multifamily_high_rise_specific) and housing_meets_2006_iecc)))

revised_standards_amendment_required

Derived

source: 42 U.S.C. 12709(c)

- name: revised_standards_amendment_required
  kind: derived
  entity: HousingProject
  dtype: Judgment
  period: Year
  source: 42 U.S.C. 12709(c)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/12709
            excerpt: >-
              If the requirements of the 2006 IECC, or ... ASHRAE Standard 90.1-2004, are revised at
              any time
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us/statute/42/12709
            excerpt: >-
              unless the Secretaries determine that compliance ... would not result in a significant
              increase in energy efficiency or would not be technologically feasible or economically
              justified
  versions:
    - effective_from: '2006-09-30'
      formula: >-
        code_or_standard_requirements_are_revised

        and not
        secretaries_determine_revised_code_or_standard_would_not_significantly_increase_energy_efficiency

        and not secretaries_determine_revised_code_or_standard_would_not_be_technologically_feasible

        and not secretaries_determine_revised_code_or_standard_would_not_be_economically_justified

loading…

us/statute/42/12709/c — Revisions of the International Energy Conservation Code · Axiom

Revisions of the International Energy Conservation Code

1 rule

Official source

graph ↗build calculator ↗

in view

Whole section

Encodings · 1

revised_standards_amendment_required42 USC § 12709 (c) · derived

42 U.S.C. 12709(c)

name: revised_standards_amendment_required
kind: derived
entity: HousingProject
dtype: Judgment
period: Year
source: 42 U.S.C. 12709(c)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/12709
          excerpt: >-
            If the requirements of the 2006 IECC, or ... ASHRAE Standard
            90.1-2004, are revised at any time
      - path: versions[0].formula
        kind: exception
        source:
          corpus_citation_path: us/statute/42/12709
          excerpt: >-
            unless the Secretaries determine that compliance ... would not
            result in a significant increase in energy efficiency or would not
            be technologically feasible or economically justified
versions:
  - effective_from: '2006-09-30'
    formula: >-
      code_or_standard_requirements_are_revised

      and not
      secretaries_determine_revised_code_or_standard_would_not_significantly_increase_energy_efficiency

      and not
      secretaries_determine_revised_code_or_standard_would_not_be_technologically_feasible

      and not
      secretaries_determine_revised_code_or_standard_would_not_be_economically_justified

open in graph ↗

▸rulespec code

Shown source

statutes/42/12709.yaml

Displaying the canonical repository encoding.

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

View on GitHub

Rules

standard_is_multifamily_high_rise_specific

Derived

source: 42 U.S.C. 12709(a)(2), (b), (c)

- name: standard_is_multifamily_high_rise_specific
  kind: derived
  entity: HousingProject
  dtype: Judgment
  period: Year
  source: 42 U.S.C. 12709(a)(2), (b), (c)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/12709
            excerpt: in the case of multifamily high rises
  versions:
    - effective_from: '2006-09-30'
      formula: housing_is_multifamily_high_rise

initial_energy_efficiency_standards_satisfy_required_code_and_cost_effectiveness

Derived

source: 42 U.S.C. 12709(a)(2)

- name: initial_energy_efficiency_standards_satisfy_required_code_and_cost_effectiveness
  kind: derived
  entity: HousingProject
  dtype: Judgment
  period: Year
  source: 42 U.S.C. 12709(a)(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/12709
            excerpt: >-
              Such standards shall meet or exceed the requirements of the 2006 International Energy
              Conservation Code
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/12709
            excerpt: >-
              or, in the case of multifamily high rises, the requirements of ... ASHRAE Standard
              90.1-2004
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/12709
            excerpt: >-
              shall be cost-effective with respect to construction and operating costs on a
              life-cycle cost basis
  versions:
    - effective_from: '2006-09-30'
      formula: >-
        ((((standard_is_multifamily_high_rise_specific) and
        standards_meet_or_exceed_ashrae_standard_90_1_2004)
          or (not (standard_is_multifamily_high_rise_specific) and standards_meet_or_exceed_2006_iecc))) and standards_are_cost_effective_on_life_cycle_cost_basis

covered_housing_subject_to_default_code_standard

Derived

source: 42 U.S.C. 12709(b)

- name: covered_housing_subject_to_default_code_standard
  kind: derived
  entity: HousingProject
  dtype: Judgment
  period: Year
  source: 42 U.S.C. 12709(b)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/12709
            excerpt: >-
              If the Secretaries have not, by September 30, 2006, established energy efficiency
              standards under subsection (a)
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/12709
            excerpt: >-
              all new construction and rehabilitation of housing specified in such subsection shall
              meet the requirements of the 2006 IECC
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/12709
            excerpt: >-
              or, in the case of multifamily high rises, the requirements of ASHRAE Standard
              90.1-2004
  versions:
    - effective_from: '2006-09-30'
      formula: >-
        secretaries_have_not_established_energy_efficiency_standards_by_statutory_deadline and
        housing_is_new_construction_or_rehabilitation_specified_in_subsection_a and
        ((((standard_is_multifamily_high_rise_specific) and housing_meets_ashrae_standard_90_1_2004)
          or (not (standard_is_multifamily_high_rise_specific) and housing_meets_2006_iecc)))

revised_standards_amendment_required

Derived

source: 42 U.S.C. 12709(c)

- name: revised_standards_amendment_required
  kind: derived
  entity: HousingProject
  dtype: Judgment
  period: Year
  source: 42 U.S.C. 12709(c)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/12709
            excerpt: >-
              If the requirements of the 2006 IECC, or ... ASHRAE Standard 90.1-2004, are revised at
              any time
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us/statute/42/12709
            excerpt: >-
              unless the Secretaries determine that compliance ... would not result in a significant
              increase in energy efficiency or would not be technologically feasible or economically
              justified
  versions:
    - effective_from: '2006-09-30'
      formula: >-
        code_or_standard_requirements_are_revised

        and not
        secretaries_determine_revised_code_or_standard_would_not_significantly_increase_energy_efficiency

        and not secretaries_determine_revised_code_or_standard_would_not_be_technologically_feasible

        and not secretaries_determine_revised_code_or_standard_would_not_be_economically_justified