loading…

us-co/regulation/10-ccr-2506-1/4.307.1 — Households Not Affected by the Striker Provisions · Axiom

Households Not Affected by the Striker Provisions

4 rules

A. Employees whose work place is closed by an employer (i.e., lockout), B. Employees unable to work as a result of other striking employees (e.g., a paper strike closes operations at a printing company; therefore, pressmen are out of work), C. Employees not wanting to cross a picket line due to fear of personal injury or death (this does not include persons sympathetic to the strike who refuse to cross the picket line), D. Persons who were exempt from work registration the day before the strike such as the caretaker of a child under six (6) years of age (other than those exempt solely on the ground that they were employed).

in view

Whole section

Encodings · 4

employer_lockout_workplace_closure_conditionCO reg. 4.307.1 · derived

10 CCR 2506-1 section 4.307.1(A)

name: employer_lockout_workplace_closure_condition
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.307.1(A)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.307.1
versions:
  - effective_from: '2025-10-01'
    formula: |-
      person_is_employee
      and employee_workplace_closed_by_employer_lockout

unable_to_work_due_to_other_striking_employees_conditionCO reg. 4.307.1 · derived

10 CCR 2506-1 section 4.307.1(B)

name: unable_to_work_due_to_other_striking_employees_condition
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.307.1(B)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.307.1
versions:
  - effective_from: '2025-10-01'
    formula: |-
      person_is_employee
      and employee_unable_to_work_as_result_of_other_striking_employees

picket_line_fear_of_injury_or_death_conditionCO reg. 4.307.1 · derived

10 CCR 2506-1 section 4.307.1(C)

name: picket_line_fear_of_injury_or_death_condition
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.307.1(C)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.307.1
      - path: versions[0].formula
        kind: exception
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.307.1
versions:
  - effective_from: '2025-10-01'
    formula: >-
      person_is_employee

      and
      employee_does_not_want_to_cross_picket_line_due_to_fear_of_personal_injury_or_death

      and not employee_refuses_to_cross_picket_line_due_to_sympathy_with_strike

prior_day_work_registration_exemption_conditionCO reg. 4.307.1 · derived

10 CCR 2506-1 section 4.307.1(D)

name: prior_day_work_registration_exemption_condition
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.307.1(D)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.307.1
          excerpt: exempt from work registration the day before the strike
      - path: versions[0].formula
        kind: exception
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.307.1
          excerpt: other than those exempt solely on the ground that they were employed
versions:
  - effective_from: '2025-10-01'
    formula: >-
      person_exempt_from_work_registration_day_before_strike

      and not
      person_exempt_from_work_registration_day_before_strike_solely_because_employed

▸rulespec code

Shown source

regulations/10-ccr-2506-1/4.307.1.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

employer_lockout_workplace_closure_condition

Derived

source: 10 CCR 2506-1 section 4.307.1(A)

- name: employer_lockout_workplace_closure_condition
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.307.1(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.307.1
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        person_is_employee
        and employee_workplace_closed_by_employer_lockout

unable_to_work_due_to_other_striking_employees_condition

Derived

source: 10 CCR 2506-1 section 4.307.1(B)

- name: unable_to_work_due_to_other_striking_employees_condition
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.307.1(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.307.1
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        person_is_employee
        and employee_unable_to_work_as_result_of_other_striking_employees

picket_line_fear_of_injury_or_death_condition

Derived

source: 10 CCR 2506-1 section 4.307.1(C)

- name: picket_line_fear_of_injury_or_death_condition
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.307.1(C)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.307.1
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.307.1
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        person_is_employee
        and employee_does_not_want_to_cross_picket_line_due_to_fear_of_personal_injury_or_death
        and not employee_refuses_to_cross_picket_line_due_to_sympathy_with_strike

prior_day_work_registration_exemption_condition

Derived

source: 10 CCR 2506-1 section 4.307.1(D)

- name: prior_day_work_registration_exemption_condition
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.307.1(D)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.307.1
            excerpt: exempt from work registration the day before the strike
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.307.1
            excerpt: other than those exempt solely on the ground that they were employed
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        person_exempt_from_work_registration_day_before_strike
        and not person_exempt_from_work_registration_day_before_strike_solely_because_employed

loading…

Households Not Affected by the Striker Provisions

4 rules

Official source

graph ↗build calculator ↗

in view

Whole section

Encodings · 4

employer_lockout_workplace_closure_conditionCO reg. 4.307.1 · derived

10 CCR 2506-1 section 4.307.1(A)

name: employer_lockout_workplace_closure_condition
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.307.1(A)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.307.1
versions:
  - effective_from: '2025-10-01'
    formula: |-
      person_is_employee
      and employee_workplace_closed_by_employer_lockout

unable_to_work_due_to_other_striking_employees_conditionCO reg. 4.307.1 · derived

10 CCR 2506-1 section 4.307.1(B)

name: unable_to_work_due_to_other_striking_employees_condition
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.307.1(B)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.307.1
versions:
  - effective_from: '2025-10-01'
    formula: |-
      person_is_employee
      and employee_unable_to_work_as_result_of_other_striking_employees

picket_line_fear_of_injury_or_death_conditionCO reg. 4.307.1 · derived

10 CCR 2506-1 section 4.307.1(C)

name: picket_line_fear_of_injury_or_death_condition
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.307.1(C)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.307.1
      - path: versions[0].formula
        kind: exception
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.307.1
versions:
  - effective_from: '2025-10-01'
    formula: >-
      person_is_employee

      and
      employee_does_not_want_to_cross_picket_line_due_to_fear_of_personal_injury_or_death

      and not employee_refuses_to_cross_picket_line_due_to_sympathy_with_strike

prior_day_work_registration_exemption_conditionCO reg. 4.307.1 · derived

10 CCR 2506-1 section 4.307.1(D)

name: prior_day_work_registration_exemption_condition
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.307.1(D)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.307.1
          excerpt: exempt from work registration the day before the strike
      - path: versions[0].formula
        kind: exception
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.307.1
          excerpt: other than those exempt solely on the ground that they were employed
versions:
  - effective_from: '2025-10-01'
    formula: >-
      person_exempt_from_work_registration_day_before_strike

      and not
      person_exempt_from_work_registration_day_before_strike_solely_because_employed

▸rulespec code

Shown source

regulations/10-ccr-2506-1/4.307.1.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

employer_lockout_workplace_closure_condition

Derived

source: 10 CCR 2506-1 section 4.307.1(A)

- name: employer_lockout_workplace_closure_condition
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.307.1(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.307.1
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        person_is_employee
        and employee_workplace_closed_by_employer_lockout

unable_to_work_due_to_other_striking_employees_condition

Derived

source: 10 CCR 2506-1 section 4.307.1(B)

- name: unable_to_work_due_to_other_striking_employees_condition
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.307.1(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.307.1
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        person_is_employee
        and employee_unable_to_work_as_result_of_other_striking_employees

picket_line_fear_of_injury_or_death_condition

Derived

source: 10 CCR 2506-1 section 4.307.1(C)

- name: picket_line_fear_of_injury_or_death_condition
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.307.1(C)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.307.1
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.307.1
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        person_is_employee
        and employee_does_not_want_to_cross_picket_line_due_to_fear_of_personal_injury_or_death
        and not employee_refuses_to_cross_picket_line_due_to_sympathy_with_strike

prior_day_work_registration_exemption_condition

Derived

source: 10 CCR 2506-1 section 4.307.1(D)

- name: prior_day_work_registration_exemption_condition
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.307.1(D)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.307.1
            excerpt: exempt from work registration the day before the strike
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.307.1
            excerpt: other than those exempt solely on the ground that they were employed
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        person_exempt_from_work_registration_day_before_strike
        and not person_exempt_from_work_registration_day_before_strike_solely_because_employed