us/statute/15/2225/d/3

loading…

1 rule

The term “governmental authority having jurisdiction” means the Federal, State, local, or other governmental entity with statutory or regulatory authority for the approval of fire safety systems, equipment, installations, or procedures within a specified locality.

in view

Whole section

Encodings · 1

governmental_authority_having_jurisdiction15 USC § 2225 (d)(3) · derived

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

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

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

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/d/3 · Axiom

1 rule

Official source

graph ↗build calculator ↗

in view

Whole section

Encodings · 1

governmental_authority_having_jurisdiction15 USC § 2225 (d)(3) · derived

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

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

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

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