loading…

us-co/statute/39/39-6-112 — Valuation of tunnels · Axiom

Valuation of tunnels

6 rules

(1) A tunnel excavated for the mere purpose of exploration and discovery of mines on the public domain shall be deemed to be real property and shall be listed and valued for assessment by the name thereof unless it becomes a part of a producing mine, in which case it shall be considered a parcel thereof. A tunnel excavated for the drainage of, or the exploration of, or for giving access to the mines of those excavating such tunnel shall be deemed an appurtenance to such mines. A tunnel excavated for the drainage of, or the operation of, or for giving access to mines of persons other than those excavating such tunnel shall be deemed real property and shall be listed and valued for assessment by the name thereof.

(2) Whenever any such tunnel not appurtenant to or a parcel of a mine is situated partly in one county and partly in another county or counties or in lesser political subdivisions, the valuation thereof shall be apportioned between such counties by allocating the total value thereof between such counties or lesser political subdivisions in the proportion that the length of the center line thereof within each such county or lesser political subdivision bears to the total length thereof.

in view

Whole section

Encodings · 6

exploration_tunnel_is_real_propertyCO 39 § 39-6-112 · derived

C.R.S. § 39-6-112(1)

name: exploration_tunnel_is_real_property
kind: derived
entity: Asset
dtype: Judgment
period: Year
source: C.R.S. § 39-6-112(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-co/statute/39/39-6-112
versions:
  - effective_from: '0001-01-01'
    formula: |-
      tunnel_excavated_solely_for_exploration_and_discovery_of_mines
      and tunnel_is_on_public_domain
      and not tunnel_has_become_part_of_producing_mine

exploration_tunnel_is_parcel_of_producing_mineCO 39 § 39-6-112 · derived

C.R.S. § 39-6-112(1)

name: exploration_tunnel_is_parcel_of_producing_mine
kind: derived
entity: Asset
dtype: Judgment
period: Year
source: C.R.S. § 39-6-112(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: exception
        source:
          corpus_citation_path: us-co/statute/39/39-6-112
versions:
  - effective_from: '0001-01-01'
    formula: |-
      tunnel_excavated_solely_for_exploration_and_discovery_of_mines
      and tunnel_is_on_public_domain
      and tunnel_has_become_part_of_producing_mine

tunnel_is_appurtenance_to_excavators_minesCO 39 § 39-6-112 · derived

C.R.S. § 39-6-112(1)

name: tunnel_is_appurtenance_to_excavators_mines
kind: derived
entity: Asset
dtype: Judgment
period: Year
source: C.R.S. § 39-6-112(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: definition
        source:
          corpus_citation_path: us-co/statute/39/39-6-112
versions:
  - effective_from: '0001-01-01'
    formula: |-
      tunnel_excavated_for_drainage_exploration_or_access
      and tunnel_serves_mines_of_excavators

tunnel_serving_others_mines_is_real_propertyCO 39 § 39-6-112 · derived

C.R.S. § 39-6-112(1)

name: tunnel_serving_others_mines_is_real_property
kind: derived
entity: Asset
dtype: Judgment
period: Year
source: C.R.S. § 39-6-112(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: definition
        source:
          corpus_citation_path: us-co/statute/39/39-6-112
versions:
  - effective_from: '0001-01-01'
    formula: |-
      tunnel_excavated_for_drainage_exploration_or_access
      and tunnel_serves_mines_of_persons_other_than_excavators

tunnel_valuation_apportionment_appliesCO 39 § 39-6-112 · derived

C.R.S. § 39-6-112(2)

name: tunnel_valuation_apportionment_applies
kind: derived
entity: Asset
dtype: Judgment
period: Year
source: C.R.S. § 39-6-112(2)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-co/statute/39/39-6-112
versions:
  - effective_from: '0001-01-01'
    formula: |-
      tunnel_is_not_appurtenant_to_or_parcel_of_mine
      and tunnel_is_partly_in_multiple_counties_or_lesser_political_subdivisions

tunnel_valuation_allocated_to_current_jurisdictionCO 39 § 39-6-112 · derived

C.R.S. § 39-6-112(2)

name: tunnel_valuation_allocated_to_current_jurisdiction
kind: derived
entity: Asset
dtype: Money
unit: USD
period: Year
source: C.R.S. § 39-6-112(2)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/statute/39/39-6-112
versions:
  - effective_from: '0001-01-01'
    formula: |-
      if tunnel_valuation_apportionment_applies:
        total_tunnel_value * length_of_tunnel_center_line_within_current_jurisdiction / total_tunnel_center_line_length
      else: 0

▸rulespec code

Shown source

statutes/39/39-6-112.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

exploration_tunnel_is_real_property

Derived

source: C.R.S. § 39-6-112(1)

- name: exploration_tunnel_is_real_property
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: C.R.S. § 39-6-112(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-co/statute/39/39-6-112
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        tunnel_excavated_solely_for_exploration_and_discovery_of_mines
        and tunnel_is_on_public_domain
        and not tunnel_has_become_part_of_producing_mine

exploration_tunnel_is_parcel_of_producing_mine

Derived

source: C.R.S. § 39-6-112(1)

- name: exploration_tunnel_is_parcel_of_producing_mine
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: C.R.S. § 39-6-112(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us-co/statute/39/39-6-112
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        tunnel_excavated_solely_for_exploration_and_discovery_of_mines
        and tunnel_is_on_public_domain
        and tunnel_has_become_part_of_producing_mine

tunnel_is_appurtenance_to_excavators_mines

Derived

source: C.R.S. § 39-6-112(1)

- name: tunnel_is_appurtenance_to_excavators_mines
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: C.R.S. § 39-6-112(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us-co/statute/39/39-6-112
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        tunnel_excavated_for_drainage_exploration_or_access
        and tunnel_serves_mines_of_excavators

tunnel_serving_others_mines_is_real_property

Derived

source: C.R.S. § 39-6-112(1)

- name: tunnel_serving_others_mines_is_real_property
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: C.R.S. § 39-6-112(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us-co/statute/39/39-6-112
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        tunnel_excavated_for_drainage_exploration_or_access
        and tunnel_serves_mines_of_persons_other_than_excavators

tunnel_valuation_apportionment_applies

Derived

source: C.R.S. § 39-6-112(2)

- name: tunnel_valuation_apportionment_applies
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: C.R.S. § 39-6-112(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-co/statute/39/39-6-112
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        tunnel_is_not_appurtenant_to_or_parcel_of_mine
        and tunnel_is_partly_in_multiple_counties_or_lesser_political_subdivisions

tunnel_valuation_allocated_to_current_jurisdiction

Derived

source: C.R.S. § 39-6-112(2)

- name: tunnel_valuation_allocated_to_current_jurisdiction
  kind: derived
  entity: Asset
  dtype: Money
  unit: USD
  period: Year
  source: C.R.S. § 39-6-112(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/statute/39/39-6-112
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        if tunnel_valuation_apportionment_applies:
          total_tunnel_value * length_of_tunnel_center_line_within_current_jurisdiction / total_tunnel_center_line_length
        else: 0

loading…

Valuation of tunnels

6 rules

Official source

graph ↗build calculator ↗

in view

Whole section

Encodings · 6

exploration_tunnel_is_real_propertyCO 39 § 39-6-112 · derived

C.R.S. § 39-6-112(1)

name: exploration_tunnel_is_real_property
kind: derived
entity: Asset
dtype: Judgment
period: Year
source: C.R.S. § 39-6-112(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-co/statute/39/39-6-112
versions:
  - effective_from: '0001-01-01'
    formula: |-
      tunnel_excavated_solely_for_exploration_and_discovery_of_mines
      and tunnel_is_on_public_domain
      and not tunnel_has_become_part_of_producing_mine

exploration_tunnel_is_parcel_of_producing_mineCO 39 § 39-6-112 · derived

C.R.S. § 39-6-112(1)

name: exploration_tunnel_is_parcel_of_producing_mine
kind: derived
entity: Asset
dtype: Judgment
period: Year
source: C.R.S. § 39-6-112(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: exception
        source:
          corpus_citation_path: us-co/statute/39/39-6-112
versions:
  - effective_from: '0001-01-01'
    formula: |-
      tunnel_excavated_solely_for_exploration_and_discovery_of_mines
      and tunnel_is_on_public_domain
      and tunnel_has_become_part_of_producing_mine

tunnel_is_appurtenance_to_excavators_minesCO 39 § 39-6-112 · derived

C.R.S. § 39-6-112(1)

name: tunnel_is_appurtenance_to_excavators_mines
kind: derived
entity: Asset
dtype: Judgment
period: Year
source: C.R.S. § 39-6-112(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: definition
        source:
          corpus_citation_path: us-co/statute/39/39-6-112
versions:
  - effective_from: '0001-01-01'
    formula: |-
      tunnel_excavated_for_drainage_exploration_or_access
      and tunnel_serves_mines_of_excavators

tunnel_serving_others_mines_is_real_propertyCO 39 § 39-6-112 · derived

C.R.S. § 39-6-112(1)

name: tunnel_serving_others_mines_is_real_property
kind: derived
entity: Asset
dtype: Judgment
period: Year
source: C.R.S. § 39-6-112(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: definition
        source:
          corpus_citation_path: us-co/statute/39/39-6-112
versions:
  - effective_from: '0001-01-01'
    formula: |-
      tunnel_excavated_for_drainage_exploration_or_access
      and tunnel_serves_mines_of_persons_other_than_excavators

tunnel_valuation_apportionment_appliesCO 39 § 39-6-112 · derived

C.R.S. § 39-6-112(2)

name: tunnel_valuation_apportionment_applies
kind: derived
entity: Asset
dtype: Judgment
period: Year
source: C.R.S. § 39-6-112(2)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-co/statute/39/39-6-112
versions:
  - effective_from: '0001-01-01'
    formula: |-
      tunnel_is_not_appurtenant_to_or_parcel_of_mine
      and tunnel_is_partly_in_multiple_counties_or_lesser_political_subdivisions

tunnel_valuation_allocated_to_current_jurisdictionCO 39 § 39-6-112 · derived

C.R.S. § 39-6-112(2)

name: tunnel_valuation_allocated_to_current_jurisdiction
kind: derived
entity: Asset
dtype: Money
unit: USD
period: Year
source: C.R.S. § 39-6-112(2)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/statute/39/39-6-112
versions:
  - effective_from: '0001-01-01'
    formula: |-
      if tunnel_valuation_apportionment_applies:
        total_tunnel_value * length_of_tunnel_center_line_within_current_jurisdiction / total_tunnel_center_line_length
      else: 0

▸rulespec code

Shown source

statutes/39/39-6-112.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

exploration_tunnel_is_real_property

Derived

source: C.R.S. § 39-6-112(1)

- name: exploration_tunnel_is_real_property
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: C.R.S. § 39-6-112(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-co/statute/39/39-6-112
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        tunnel_excavated_solely_for_exploration_and_discovery_of_mines
        and tunnel_is_on_public_domain
        and not tunnel_has_become_part_of_producing_mine

exploration_tunnel_is_parcel_of_producing_mine

Derived

source: C.R.S. § 39-6-112(1)

- name: exploration_tunnel_is_parcel_of_producing_mine
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: C.R.S. § 39-6-112(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us-co/statute/39/39-6-112
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        tunnel_excavated_solely_for_exploration_and_discovery_of_mines
        and tunnel_is_on_public_domain
        and tunnel_has_become_part_of_producing_mine

tunnel_is_appurtenance_to_excavators_mines

Derived

source: C.R.S. § 39-6-112(1)

- name: tunnel_is_appurtenance_to_excavators_mines
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: C.R.S. § 39-6-112(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us-co/statute/39/39-6-112
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        tunnel_excavated_for_drainage_exploration_or_access
        and tunnel_serves_mines_of_excavators

tunnel_serving_others_mines_is_real_property

Derived

source: C.R.S. § 39-6-112(1)

- name: tunnel_serving_others_mines_is_real_property
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: C.R.S. § 39-6-112(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us-co/statute/39/39-6-112
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        tunnel_excavated_for_drainage_exploration_or_access
        and tunnel_serves_mines_of_persons_other_than_excavators

tunnel_valuation_apportionment_applies

Derived

source: C.R.S. § 39-6-112(2)

- name: tunnel_valuation_apportionment_applies
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: C.R.S. § 39-6-112(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-co/statute/39/39-6-112
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        tunnel_is_not_appurtenant_to_or_parcel_of_mine
        and tunnel_is_partly_in_multiple_counties_or_lesser_political_subdivisions

tunnel_valuation_allocated_to_current_jurisdiction

Derived

source: C.R.S. § 39-6-112(2)

- name: tunnel_valuation_allocated_to_current_jurisdiction
  kind: derived
  entity: Asset
  dtype: Money
  unit: USD
  period: Year
  source: C.R.S. § 39-6-112(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/statute/39/39-6-112
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        if tunnel_valuation_apportionment_applies:
          total_tunnel_value * length_of_tunnel_center_line_within_current_jurisdiction / total_tunnel_center_line_length
        else: 0