loading…

Exceptions

2 rulesAll 2 subsections

(1)

(1)∀ 1#

The requirement described in subsection (a)(2) shall not apply to a place of public accommodation affecting commerce with an automatic sprinkler system installed before October 25, 1992 , if the automatic sprinkler system is installed in compliance with an applicable standard (adopted by the governmental authority having jurisdiction, and in effect, at the time of installation) that required the placement of a sprinkler head in the sleeping area of each guest room.

(2)∀ 1#

The requirement described in subsection (a)(2) shall not apply to a place of public accommodation affecting commerce to the extent that such place of public accommodation affecting commerce is subject to a standard that includes a requirement or prohibition that prevents compliance with a provision of National Fire Protection Association Standard 13 or 13–R, or any successor standard to that standard. In such a case, the place of public accommodation affecting commerce is exempt only from that specific provision.

in view

Whole section

Encodings · 2

preexisting_sprinkler_system_exception_applies15 USC § 2225 (b) (1) · derived

15 USC 2225(b)(1)

name: preexisting_sprinkler_system_exception_applies
kind: derived
entity: PlaceOfPublicAccommodation
dtype: Judgment
period: Day
source: 15 USC 2225(b)(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: exception
        source:
          corpus_citation_path: us/statute/15/2225
          excerpt: installed before October 25, 1992
versions:
  - effective_from: '0001-01-01'
    formula: >-
      place_of_public_accommodation_affecting_commerce

      and automatic_sprinkler_system_installed_before_statutory_cutoff_date

      and
      automatic_sprinkler_system_complied_at_installation_with_applicable_jurisdictional_standard_requiring_sprinkler_head_in_sleeping_area_of_each_guest_room

open in graph ↗

conflicting_standard_specific_sprinkler_provision_exception_applies15 USC § 2225 (b) (2) · derived

15 USC 2225(b)(2)

name: conflicting_standard_specific_sprinkler_provision_exception_applies
kind: derived
entity: PlaceOfPublicAccommodation
dtype: Judgment
period: Day
source: 15 USC 2225(b)(2)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: exception
        source:
          corpus_citation_path: us/statute/15/2225
versions:
  - effective_from: '0001-01-01'
    formula: >-
      place_of_public_accommodation_affecting_commerce

      and
      place_subject_to_standard_with_requirement_or_prohibition_preventing_compliance_with_specific_nfpa_13_or_13r_or_successor_provision

open in graph ↗

▸rulespec code

Shown source

statutes/15/2225.yaml

Displaying the canonical repository encoding.

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

View on GitHub

Rules

sprinkler_height_exception_maximum_stories

Parameter

source: 15 USC 2225(a)(2)

- name: sprinkler_height_exception_maximum_stories
  kind: parameter
  dtype: Count
  source: 15 USC 2225(a)(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/15/2225
            excerpt: except those places that are 3 stories or lower
  versions:
    - effective_from: '0001-01-01'
      formula: '3'

smoke_detector

Derived

source: 15 USC 2225(d)

- name: smoke_detector
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Day
  source: 15 USC 2225(d)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/15/2225
  versions:
    - effective_from: '0001-01-01'
      formula: alarm_designed_to_respond_to_visible_or_invisible_particles_of_combustion

automatic_sprinkler_system

Derived

source: 15 USC 2225(d)(2)

- name: automatic_sprinkler_system
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Day
  source: 15 USC 2225(d)(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/15/2225
  versions:
    - effective_from: '0001-01-01'
      formula: >-
        electronically_supervised_integrated_piping_system

        and sprinklers_attached_in_systematic_pattern

        and
        system_when_activated_by_heat_from_fire_protects_human_lives_by_discharging_water_over_fire_area

        and system_provides_required_warning_signals_through_building_fire_alarm_system

governmental_authority_having_jurisdiction

Derived

source: 15 USC 2225(d)(3)

- name: governmental_authority_having_jurisdiction
  kind: derived
  entity: GovernmentalAuthority
  dtype: Judgment
  period: Day
  source: 15 USC 2225(d)(3)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/15/2225
  versions:
    - effective_from: '0001-01-01'
      formula: >-
        governmental_entity_has_statutory_or_regulatory_authority_for_approval_of_fire_safety_systems_equipment_installations_or_procedures_within_specified_locality

smoke_detector_guideline_requirement_satisfied

Derived

source: 15 USC 2225(a)(1)

- name: smoke_detector_guideline_requirement_satisfied
  kind: derived
  entity: PlaceOfPublicAccommodation
  dtype: Judgment
  period: Day
  source: 15 USC 2225(a)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/15/2225
  versions:
    - effective_from: '0001-01-01'
      formula: >-
        place_of_public_accommodation_affecting_commerce

        and
        each_guest_room_has_hard_wired_single_station_smoke_detector_installed_in_accordance_with_nfpa_standard_74_or_successor

preexisting_sprinkler_system_exception_applies

Derived(1) in text ↖

source: 15 USC 2225(b)(1)

- name: preexisting_sprinkler_system_exception_applies
  kind: derived
  entity: PlaceOfPublicAccommodation
  dtype: Judgment
  period: Day
  source: 15 USC 2225(b)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us/statute/15/2225
            excerpt: installed before October 25, 1992
  versions:
    - effective_from: '0001-01-01'
      formula: >-
        place_of_public_accommodation_affecting_commerce

        and automatic_sprinkler_system_installed_before_statutory_cutoff_date

        and
        automatic_sprinkler_system_complied_at_installation_with_applicable_jurisdictional_standard_requiring_sprinkler_head_in_sleeping_area_of_each_guest_room

conflicting_standard_specific_sprinkler_provision_exception_applies

Derived(2) in text ↖

source: 15 USC 2225(b)(2)

- name: conflicting_standard_specific_sprinkler_provision_exception_applies
  kind: derived
  entity: PlaceOfPublicAccommodation
  dtype: Judgment
  period: Day
  source: 15 USC 2225(b)(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us/statute/15/2225
  versions:
    - effective_from: '0001-01-01'
      formula: >-
        place_of_public_accommodation_affecting_commerce

        and
        place_subject_to_standard_with_requirement_or_prohibition_preventing_compliance_with_specific_nfpa_13_or_13r_or_successor_provision

automatic_sprinkler_guideline_requirement_satisfied

Derived

source: 15 USC 2225(a)(2)

- name: automatic_sprinkler_guideline_requirement_satisfied
  kind: derived
  entity: PlaceOfPublicAccommodation
  dtype: Judgment
  period: Day
  source: 15 USC 2225(a)(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/15/2225
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us/statute/15/2225
  versions:
    - effective_from: '0001-01-01'
      formula: >-
        place_of_public_accommodation_affecting_commerce

        and place_story_count > sprinkler_height_exception_maximum_stories

        and
        automatic_sprinkler_system_installed_in_accordance_with_appropriate_nfpa_standard_13_or_13r_or_successor

        and not preexisting_sprinkler_system_exception_applies

        and not conflicting_standard_specific_sprinkler_provision_exception_applies

loading…

us/statute/15/2225/b — Exceptions · Axiom

Exceptions

2 rulesAll 2 subsections

Official source

graph ↗build calculator ↗

(1)

(1)∀ 1#

(2)∀ 1#

in view

Whole section

Encodings · 2

preexisting_sprinkler_system_exception_applies15 USC § 2225 (b) (1) · derived

15 USC 2225(b)(1)

name: preexisting_sprinkler_system_exception_applies
kind: derived
entity: PlaceOfPublicAccommodation
dtype: Judgment
period: Day
source: 15 USC 2225(b)(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: exception
        source:
          corpus_citation_path: us/statute/15/2225
          excerpt: installed before October 25, 1992
versions:
  - effective_from: '0001-01-01'
    formula: >-
      place_of_public_accommodation_affecting_commerce

      and automatic_sprinkler_system_installed_before_statutory_cutoff_date

      and
      automatic_sprinkler_system_complied_at_installation_with_applicable_jurisdictional_standard_requiring_sprinkler_head_in_sleeping_area_of_each_guest_room

open in graph ↗

conflicting_standard_specific_sprinkler_provision_exception_applies15 USC § 2225 (b) (2) · derived

15 USC 2225(b)(2)

name: conflicting_standard_specific_sprinkler_provision_exception_applies
kind: derived
entity: PlaceOfPublicAccommodation
dtype: Judgment
period: Day
source: 15 USC 2225(b)(2)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: exception
        source:
          corpus_citation_path: us/statute/15/2225
versions:
  - effective_from: '0001-01-01'
    formula: >-
      place_of_public_accommodation_affecting_commerce

      and
      place_subject_to_standard_with_requirement_or_prohibition_preventing_compliance_with_specific_nfpa_13_or_13r_or_successor_provision

open in graph ↗

▸rulespec code

Shown source

statutes/15/2225.yaml

Displaying the canonical repository encoding.

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

View on GitHub

Rules

sprinkler_height_exception_maximum_stories

Parameter

source: 15 USC 2225(a)(2)

- name: sprinkler_height_exception_maximum_stories
  kind: parameter
  dtype: Count
  source: 15 USC 2225(a)(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/15/2225
            excerpt: except those places that are 3 stories or lower
  versions:
    - effective_from: '0001-01-01'
      formula: '3'

smoke_detector

Derived

source: 15 USC 2225(d)

- name: smoke_detector
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Day
  source: 15 USC 2225(d)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/15/2225
  versions:
    - effective_from: '0001-01-01'
      formula: alarm_designed_to_respond_to_visible_or_invisible_particles_of_combustion

automatic_sprinkler_system

Derived

source: 15 USC 2225(d)(2)

- name: automatic_sprinkler_system
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Day
  source: 15 USC 2225(d)(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/15/2225
  versions:
    - effective_from: '0001-01-01'
      formula: >-
        electronically_supervised_integrated_piping_system

        and sprinklers_attached_in_systematic_pattern

        and
        system_when_activated_by_heat_from_fire_protects_human_lives_by_discharging_water_over_fire_area

        and system_provides_required_warning_signals_through_building_fire_alarm_system

governmental_authority_having_jurisdiction

Derived

source: 15 USC 2225(d)(3)

- name: governmental_authority_having_jurisdiction
  kind: derived
  entity: GovernmentalAuthority
  dtype: Judgment
  period: Day
  source: 15 USC 2225(d)(3)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/15/2225
  versions:
    - effective_from: '0001-01-01'
      formula: >-
        governmental_entity_has_statutory_or_regulatory_authority_for_approval_of_fire_safety_systems_equipment_installations_or_procedures_within_specified_locality

smoke_detector_guideline_requirement_satisfied

Derived

source: 15 USC 2225(a)(1)

- name: smoke_detector_guideline_requirement_satisfied
  kind: derived
  entity: PlaceOfPublicAccommodation
  dtype: Judgment
  period: Day
  source: 15 USC 2225(a)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/15/2225
  versions:
    - effective_from: '0001-01-01'
      formula: >-
        place_of_public_accommodation_affecting_commerce

        and
        each_guest_room_has_hard_wired_single_station_smoke_detector_installed_in_accordance_with_nfpa_standard_74_or_successor

preexisting_sprinkler_system_exception_applies

Derived(1) in text ↖

source: 15 USC 2225(b)(1)

- name: preexisting_sprinkler_system_exception_applies
  kind: derived
  entity: PlaceOfPublicAccommodation
  dtype: Judgment
  period: Day
  source: 15 USC 2225(b)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us/statute/15/2225
            excerpt: installed before October 25, 1992
  versions:
    - effective_from: '0001-01-01'
      formula: >-
        place_of_public_accommodation_affecting_commerce

        and automatic_sprinkler_system_installed_before_statutory_cutoff_date

        and
        automatic_sprinkler_system_complied_at_installation_with_applicable_jurisdictional_standard_requiring_sprinkler_head_in_sleeping_area_of_each_guest_room

conflicting_standard_specific_sprinkler_provision_exception_applies

Derived(2) in text ↖

source: 15 USC 2225(b)(2)

- name: conflicting_standard_specific_sprinkler_provision_exception_applies
  kind: derived
  entity: PlaceOfPublicAccommodation
  dtype: Judgment
  period: Day
  source: 15 USC 2225(b)(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us/statute/15/2225
  versions:
    - effective_from: '0001-01-01'
      formula: >-
        place_of_public_accommodation_affecting_commerce

        and
        place_subject_to_standard_with_requirement_or_prohibition_preventing_compliance_with_specific_nfpa_13_or_13r_or_successor_provision

automatic_sprinkler_guideline_requirement_satisfied

Derived

source: 15 USC 2225(a)(2)

- name: automatic_sprinkler_guideline_requirement_satisfied
  kind: derived
  entity: PlaceOfPublicAccommodation
  dtype: Judgment
  period: Day
  source: 15 USC 2225(a)(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/15/2225
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us/statute/15/2225
  versions:
    - effective_from: '0001-01-01'
      formula: >-
        place_of_public_accommodation_affecting_commerce

        and place_story_count > sprinkler_height_exception_maximum_stories

        and
        automatic_sprinkler_system_installed_in_accordance_with_appropriate_nfpa_standard_13_or_13r_or_successor

        and not preexisting_sprinkler_system_exception_applies

        and not conflicting_standard_specific_sprinkler_provision_exception_applies