loading…

us-co/statute/39/39-6-104 — Classification of mines · Axiom

Classification of mines

3 rules

All mines, except mines worked or operated primarily for coal, asphaltum, rock, limestone, dolomite, or other stone products, sand, gravel, clay, or earths, shall, for the purpose of valuation for assessment, be divided into two classes: Producing and nonproducing.

in view

Whole section

Encodings · 3

mine_subject_to_producing_nonproducing_classificationCO 39 § 39-6-104 · derived

C.R.S. § 39-6-104

name: mine_subject_to_producing_nonproducing_classification
kind: derived
entity: Mine
dtype: Judgment
period: Year
source: C.R.S. § 39-6-104
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: exception
        source:
          corpus_citation_path: us-co/statute/39/39-6-104
versions:
  - effective_from: '0001-01-01'
    formula: |-
      not mine_is_worked_or_operated_primarily_for_coal
      and not mine_is_worked_or_operated_primarily_for_asphaltum
      and not mine_is_worked_or_operated_primarily_for_rock
      and not mine_is_worked_or_operated_primarily_for_limestone
      and not mine_is_worked_or_operated_primarily_for_dolomite
      and not mine_is_worked_or_operated_primarily_for_other_stone_products
      and not mine_is_worked_or_operated_primarily_for_sand
      and not mine_is_worked_or_operated_primarily_for_gravel
      and not mine_is_worked_oroperated_primarily_for_clay
      and not mine_is_worked_or_operated_primarily_for_earths

mine_is_in_producing_assessment_classCO 39 § 39-6-104 · derived

C.R.S. § 39-6-104

name: mine_is_in_producing_assessment_class
kind: derived
entity: Mine
dtype: Judgment
period: Year
source: C.R.S. § 39-6-104
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: predicate
        source:
          corpus_citation_path: us-co/statute/39/39-6-104
versions:
  - effective_from: '0001-01-01'
    formula: |-
      mine_subject_to_producing_nonproducing_classification
      and mine_is_producing

mine_is_in_nonproducing_assessment_classCO 39 § 39-6-104 · derived

C.R.S. § 39-6-104

name: mine_is_in_nonproducing_assessment_class
kind: derived
entity: Mine
dtype: Judgment
period: Year
source: C.R.S. § 39-6-104
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: predicate
        source:
          corpus_citation_path: us-co/statute/39/39-6-104
versions:
  - effective_from: '0001-01-01'
    formula: |-
      mine_subject_to_producing_nonproducing_classification
      and not mine_is_producing

▸rulespec code

Shown source

statutes/39/39-6-104.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

mine_subject_to_producing_nonproducing_classification

Derived

source: C.R.S. § 39-6-104

- name: mine_subject_to_producing_nonproducing_classification
  kind: derived
  entity: Mine
  dtype: Judgment
  period: Year
  source: C.R.S. § 39-6-104
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us-co/statute/39/39-6-104
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        not mine_is_worked_or_operated_primarily_for_coal
        and not mine_is_worked_or_operated_primarily_for_asphaltum
        and not mine_is_worked_or_operated_primarily_for_rock
        and not mine_is_worked_or_operated_primarily_for_limestone
        and not mine_is_worked_or_operated_primarily_for_dolomite
        and not mine_is_worked_or_operated_primarily_for_other_stone_products
        and not mine_is_worked_or_operated_primarily_for_sand
        and not mine_is_worked_or_operated_primarily_for_gravel
        and not mine_is_worked_oroperated_primarily_for_clay
        and not mine_is_worked_or_operated_primarily_for_earths

mine_is_in_producing_assessment_class

Derived

source: C.R.S. § 39-6-104

- name: mine_is_in_producing_assessment_class
  kind: derived
  entity: Mine
  dtype: Judgment
  period: Year
  source: C.R.S. § 39-6-104
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us-co/statute/39/39-6-104
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        mine_subject_to_producing_nonproducing_classification
        and mine_is_producing

mine_is_in_nonproducing_assessment_class

Derived

source: C.R.S. § 39-6-104

- name: mine_is_in_nonproducing_assessment_class
  kind: derived
  entity: Mine
  dtype: Judgment
  period: Year
  source: C.R.S. § 39-6-104
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us-co/statute/39/39-6-104
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        mine_subject_to_producing_nonproducing_classification
        and not mine_is_producing

loading…

Classification of mines

3 rules

Official source

graph ↗build calculator ↗

in view

Whole section

Encodings · 3

mine_subject_to_producing_nonproducing_classificationCO 39 § 39-6-104 · derived

C.R.S. § 39-6-104

name: mine_subject_to_producing_nonproducing_classification
kind: derived
entity: Mine
dtype: Judgment
period: Year
source: C.R.S. § 39-6-104
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: exception
        source:
          corpus_citation_path: us-co/statute/39/39-6-104
versions:
  - effective_from: '0001-01-01'
    formula: |-
      not mine_is_worked_or_operated_primarily_for_coal
      and not mine_is_worked_or_operated_primarily_for_asphaltum
      and not mine_is_worked_or_operated_primarily_for_rock
      and not mine_is_worked_or_operated_primarily_for_limestone
      and not mine_is_worked_or_operated_primarily_for_dolomite
      and not mine_is_worked_or_operated_primarily_for_other_stone_products
      and not mine_is_worked_or_operated_primarily_for_sand
      and not mine_is_worked_or_operated_primarily_for_gravel
      and not mine_is_worked_oroperated_primarily_for_clay
      and not mine_is_worked_or_operated_primarily_for_earths

mine_is_in_producing_assessment_classCO 39 § 39-6-104 · derived

C.R.S. § 39-6-104

name: mine_is_in_producing_assessment_class
kind: derived
entity: Mine
dtype: Judgment
period: Year
source: C.R.S. § 39-6-104
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: predicate
        source:
          corpus_citation_path: us-co/statute/39/39-6-104
versions:
  - effective_from: '0001-01-01'
    formula: |-
      mine_subject_to_producing_nonproducing_classification
      and mine_is_producing

mine_is_in_nonproducing_assessment_classCO 39 § 39-6-104 · derived

C.R.S. § 39-6-104

name: mine_is_in_nonproducing_assessment_class
kind: derived
entity: Mine
dtype: Judgment
period: Year
source: C.R.S. § 39-6-104
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: predicate
        source:
          corpus_citation_path: us-co/statute/39/39-6-104
versions:
  - effective_from: '0001-01-01'
    formula: |-
      mine_subject_to_producing_nonproducing_classification
      and not mine_is_producing

▸rulespec code

Shown source

statutes/39/39-6-104.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

mine_subject_to_producing_nonproducing_classification

Derived

source: C.R.S. § 39-6-104

- name: mine_subject_to_producing_nonproducing_classification
  kind: derived
  entity: Mine
  dtype: Judgment
  period: Year
  source: C.R.S. § 39-6-104
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us-co/statute/39/39-6-104
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        not mine_is_worked_or_operated_primarily_for_coal
        and not mine_is_worked_or_operated_primarily_for_asphaltum
        and not mine_is_worked_or_operated_primarily_for_rock
        and not mine_is_worked_or_operated_primarily_for_limestone
        and not mine_is_worked_or_operated_primarily_for_dolomite
        and not mine_is_worked_or_operated_primarily_for_other_stone_products
        and not mine_is_worked_or_operated_primarily_for_sand
        and not mine_is_worked_or_operated_primarily_for_gravel
        and not mine_is_worked_oroperated_primarily_for_clay
        and not mine_is_worked_or_operated_primarily_for_earths

mine_is_in_producing_assessment_class

Derived

source: C.R.S. § 39-6-104

- name: mine_is_in_producing_assessment_class
  kind: derived
  entity: Mine
  dtype: Judgment
  period: Year
  source: C.R.S. § 39-6-104
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us-co/statute/39/39-6-104
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        mine_subject_to_producing_nonproducing_classification
        and mine_is_producing

mine_is_in_nonproducing_assessment_class

Derived

source: C.R.S. § 39-6-104

- name: mine_is_in_nonproducing_assessment_class
  kind: derived
  entity: Mine
  dtype: Judgment
  period: Year
  source: C.R.S. § 39-6-104
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us-co/statute/39/39-6-104
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        mine_subject_to_producing_nonproducing_classification
        and not mine_is_producing