us/statute/42/12709/d/2

loading…

the Secretary of Energy has made a determination under section 6833 of this title that the revised code or standard would improve energy efficiency.

in view

Whole section

▸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

▸citations (1)

References

This rule cites 1 other rule.

42 USC § 6833inferredUS Federal › Statutes › Title 42 › § 6833

loading…

us/statute/42/12709/d/2 · Axiom

Official source

the Secretary of Energy has made a determination under section 6833 of this title that the revised code or standard would improve energy efficiency.

in view

Whole section

▸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

▸citations (1)

References

This rule cites 1 other rule.

42 USC § 6833inferredUS Federal › Statutes › Title 42 › § 6833