Axiom Foundation

loading…

2 rules

Such standards shall meet or exceed the requirements of the 2006 International Energy Conservation Code (hereafter in this section referred to as “the 2006 IECC”), or, in the case of multifamily high rises, the requirements of the American Society of Heating, Refrigerating, and Air-Conditioning Engineers Standard 90.1–2004 (hereafter in this section referred to as “ASHRAE Standard 90.1–2004”), and shall be cost-effective with respect to construction and operating costs on a life-cycle cost basis. In developing such standards, the Secretaries shall consult with an advisory task force composed of homebuilders, national, State, and local housing agencies (including public housing agencies), energy agencies, building code organizations and agencies, energy efficiency organizations, utility organizations, low-income housing organizations, and other parties designated by the Secretaries.

in view

Whole section

Encodings · 2

standard_is_multifamily_high_rise_specific42 USC § 12709 (a)(2) · derived

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

open in graph ↗

initial_energy_efficiency_standards_satisfy_required_code_and_cost_effectiveness42 USC § 12709 (a)(2) · derived

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

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/a/2 — Contents · Axiom

2 rules

Official source

graph ↗build calculator ↗

in view

Whole section

Encodings · 2

standard_is_multifamily_high_rise_specific42 USC § 12709 (a)(2) · derived

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

open in graph ↗

initial_energy_efficiency_standards_satisfy_required_code_and_cost_effectiveness42 USC § 12709 (a)(2) · derived

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

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