loading…

us-co/statute/39/39-2-122 — Notice prior to injunction · Axiom

Notice prior to injunction

2 rules

No injunction shall be issued suspending or staying any order of the property tax administrator except upon ten days' notice to the property tax administrator of the application for such injunction and a hearing thereon.

in view

Whole section

Encodings · 2

property_tax_administrator_injunction_notice_daysCO 39 § 39-2-122 · parameter

C.R.S. 39-2-122

name: property_tax_administrator_injunction_notice_days
kind: parameter
dtype: Count
source: C.R.S. 39-2-122
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us-co/statute/39/39-2-122
          excerpt: except upon ten days' notice
versions:
  - effective_from: '0001-01-01'
    formula: '10'

injunction_suspending_or_staying_property_tax_administrator_order_may_issueCO 39 § 39-2-122 · derived

C.R.S. 39-2-122

name: injunction_suspending_or_staying_property_tax_administrator_order_may_issue
kind: derived
entity: InjunctionApplication
dtype: Judgment
period: Day
source: C.R.S. 39-2-122
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-co/statute/39/39-2-122
          excerpt: >-
            upon ten days' notice to the property tax administrator of the
            application for such injunction and a hearing thereon
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us-co/statute/39/39-2-122
          excerpt: except upon ten days' notice
versions:
  - effective_from: '0001-01-01'
    formula: >-
      days_notice_given_to_property_tax_administrator >=
      property_tax_administrator_injunction_notice_days

      and hearing_on_injunction_application_held

▸rulespec code

Shown source

statutes/39/39-2-122.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

property_tax_administrator_injunction_notice_days

Parameter

source: C.R.S. 39-2-122

- name: property_tax_administrator_injunction_notice_days
  kind: parameter
  dtype: Count
  source: C.R.S. 39-2-122
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us-co/statute/39/39-2-122
            excerpt: except upon ten days' notice
  versions:
    - effective_from: '0001-01-01'
      formula: '10'

injunction_suspending_or_staying_property_tax_administrator_order_may_issue

Derived

source: C.R.S. 39-2-122

- name: injunction_suspending_or_staying_property_tax_administrator_order_may_issue
  kind: derived
  entity: InjunctionApplication
  dtype: Judgment
  period: Day
  source: C.R.S. 39-2-122
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-co/statute/39/39-2-122
            excerpt: >-
              upon ten days' notice to the property tax administrator of the application for such
              injunction and a hearing thereon
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us-co/statute/39/39-2-122
            excerpt: except upon ten days' notice
  versions:
    - effective_from: '0001-01-01'
      formula: >-
        days_notice_given_to_property_tax_administrator >=
        property_tax_administrator_injunction_notice_days

        and hearing_on_injunction_application_held

loading…

Notice prior to injunction

2 rules

Official source

graph ↗build calculator ↗

in view

Whole section

Encodings · 2

property_tax_administrator_injunction_notice_daysCO 39 § 39-2-122 · parameter

C.R.S. 39-2-122

name: property_tax_administrator_injunction_notice_days
kind: parameter
dtype: Count
source: C.R.S. 39-2-122
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us-co/statute/39/39-2-122
          excerpt: except upon ten days' notice
versions:
  - effective_from: '0001-01-01'
    formula: '10'

injunction_suspending_or_staying_property_tax_administrator_order_may_issueCO 39 § 39-2-122 · derived

C.R.S. 39-2-122

name: injunction_suspending_or_staying_property_tax_administrator_order_may_issue
kind: derived
entity: InjunctionApplication
dtype: Judgment
period: Day
source: C.R.S. 39-2-122
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-co/statute/39/39-2-122
          excerpt: >-
            upon ten days' notice to the property tax administrator of the
            application for such injunction and a hearing thereon
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us-co/statute/39/39-2-122
          excerpt: except upon ten days' notice
versions:
  - effective_from: '0001-01-01'
    formula: >-
      days_notice_given_to_property_tax_administrator >=
      property_tax_administrator_injunction_notice_days

      and hearing_on_injunction_application_held

▸rulespec code

Shown source

statutes/39/39-2-122.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

property_tax_administrator_injunction_notice_days

Parameter

source: C.R.S. 39-2-122

- name: property_tax_administrator_injunction_notice_days
  kind: parameter
  dtype: Count
  source: C.R.S. 39-2-122
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us-co/statute/39/39-2-122
            excerpt: except upon ten days' notice
  versions:
    - effective_from: '0001-01-01'
      formula: '10'

injunction_suspending_or_staying_property_tax_administrator_order_may_issue

Derived

source: C.R.S. 39-2-122

- name: injunction_suspending_or_staying_property_tax_administrator_order_may_issue
  kind: derived
  entity: InjunctionApplication
  dtype: Judgment
  period: Day
  source: C.R.S. 39-2-122
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-co/statute/39/39-2-122
            excerpt: >-
              upon ten days' notice to the property tax administrator of the application for such
              injunction and a hearing thereon
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us-co/statute/39/39-2-122
            excerpt: except upon ten days' notice
  versions:
    - effective_from: '0001-01-01'
      formula: >-
        days_notice_given_to_property_tax_administrator >=
        property_tax_administrator_injunction_notice_days

        and hearing_on_injunction_application_held