loading…

us-co/statute/39/39-28-115 — List of licensed wholesalers - published on website · Axiom

List of licensed wholesalers - published on website

2 rules

On or before December 31, 2009, the department shall publish on its website a list of the names and addresses of all licensed wholesalers. The list shall be updated within seven days of any changes to the list.

in view

Whole section

Encodings · 2

licensed_wholesaler_list_update_deadline_daysCO 39 § 39-28-115 · parameter

C.R.S. 39-28-115

name: licensed_wholesaler_list_update_deadline_days
kind: parameter
dtype: Count
period: Day
source: C.R.S. 39-28-115
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us-co/statute/39/39-28-115
          excerpt: updated within seven days
versions:
  - effective_from: '0001-01-01'
    formula: '7'

licensed_wholesaler_list_update_requirement_satisfiedCO 39 § 39-28-115 · derived

C.R.S. 39-28-115

name: licensed_wholesaler_list_update_requirement_satisfied
kind: derived
entity: Department
dtype: Judgment
period: Day
source: C.R.S. 39-28-115
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-co/statute/39/39-28-115
          excerpt: updated within seven days of any changes to the list
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us-co/statute/39/39-28-115
          excerpt: updated within seven days
versions:
  - effective_from: '0001-01-01'
    formula: >-
      not licensed_wholesaler_list_has_changed

      or days_since_licensed_wholesaler_list_change <=
      licensed_wholesaler_list_update_deadline_days

▸rulespec code

Shown source

statutes/39/39-28-115.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

licensed_wholesaler_list_update_deadline_days

Parameter

source: C.R.S. 39-28-115

- name: licensed_wholesaler_list_update_deadline_days
  kind: parameter
  dtype: Count
  period: Day
  source: C.R.S. 39-28-115
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us-co/statute/39/39-28-115
            excerpt: updated within seven days
  versions:
    - effective_from: '0001-01-01'
      formula: '7'

licensed_wholesaler_list_update_requirement_satisfied

Derived

source: C.R.S. 39-28-115

- name: licensed_wholesaler_list_update_requirement_satisfied
  kind: derived
  entity: Department
  dtype: Judgment
  period: Day
  source: C.R.S. 39-28-115
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-co/statute/39/39-28-115
            excerpt: updated within seven days of any changes to the list
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us-co/statute/39/39-28-115
            excerpt: updated within seven days
  versions:
    - effective_from: '0001-01-01'
      formula: >-
        not licensed_wholesaler_list_has_changed

        or days_since_licensed_wholesaler_list_change <=
        licensed_wholesaler_list_update_deadline_days

loading…

List of licensed wholesalers - published on website

2 rules

Official source

graph ↗build calculator ↗

in view

Whole section

Encodings · 2

licensed_wholesaler_list_update_deadline_daysCO 39 § 39-28-115 · parameter

C.R.S. 39-28-115

name: licensed_wholesaler_list_update_deadline_days
kind: parameter
dtype: Count
period: Day
source: C.R.S. 39-28-115
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us-co/statute/39/39-28-115
          excerpt: updated within seven days
versions:
  - effective_from: '0001-01-01'
    formula: '7'

licensed_wholesaler_list_update_requirement_satisfiedCO 39 § 39-28-115 · derived

C.R.S. 39-28-115

name: licensed_wholesaler_list_update_requirement_satisfied
kind: derived
entity: Department
dtype: Judgment
period: Day
source: C.R.S. 39-28-115
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-co/statute/39/39-28-115
          excerpt: updated within seven days of any changes to the list
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us-co/statute/39/39-28-115
          excerpt: updated within seven days
versions:
  - effective_from: '0001-01-01'
    formula: >-
      not licensed_wholesaler_list_has_changed

      or days_since_licensed_wholesaler_list_change <=
      licensed_wholesaler_list_update_deadline_days

▸rulespec code

Shown source

statutes/39/39-28-115.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

licensed_wholesaler_list_update_deadline_days

Parameter

source: C.R.S. 39-28-115

- name: licensed_wholesaler_list_update_deadline_days
  kind: parameter
  dtype: Count
  period: Day
  source: C.R.S. 39-28-115
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us-co/statute/39/39-28-115
            excerpt: updated within seven days
  versions:
    - effective_from: '0001-01-01'
      formula: '7'

licensed_wholesaler_list_update_requirement_satisfied

Derived

source: C.R.S. 39-28-115

- name: licensed_wholesaler_list_update_requirement_satisfied
  kind: derived
  entity: Department
  dtype: Judgment
  period: Day
  source: C.R.S. 39-28-115
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-co/statute/39/39-28-115
            excerpt: updated within seven days of any changes to the list
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us-co/statute/39/39-28-115
            excerpt: updated within seven days
  versions:
    - effective_from: '0001-01-01'
      formula: >-
        not licensed_wholesaler_list_has_changed

        or days_since_licensed_wholesaler_list_change <=
        licensed_wholesaler_list_update_deadline_days