us/statute/42/12709/d/1

loading…

the Secretary of Housing and Urban Development or the Secretary of Agriculture make a determination that the revised codes do not negatively affect the availability or affordability of new construction of assisted housing and single family and multifamily residential housing (other than manufactured homes) subject to mortgages insured under the National Housing Act ( 12 U.S.C. 1701 et seq.) or insured, guaranteed, or made by the Secretary of Agriculture under title V of the Housing Act of 1949 ( 42 U.S.C. 1471 et seq.), respectively; and

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

loading…

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

Official source

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