loading…

us-co/statute/39/39-6-105 — Producing mines defined · Axiom

Producing mines defined

3 rules

All mines whose gross proceeds during the preceding calendar year have exceeded the amount of five thousand dollars shall be classified as producing mines, and all others shall be classified as nonproducing mines. Mines shall be classified in the manner provided for in this article regardless of the processing method, the ultimate use, or the consumption of the ores or minerals for which they are primarily worked or operated.

in view

Whole section

Encodings · 3

producing_mine_gross_proceeds_thresholdCO 39 § 39-6-105 · parameter

Colo. Rev. Stat. § 39-6-105

name: producing_mine_gross_proceeds_threshold
kind: parameter
dtype: Money
period: Year
unit: USD
source: Colo. Rev. Stat. § 39-6-105
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: amount
        source:
          corpus_citation_path: us-co/statute/39/39-6-105
          excerpt: exceeded the amount of five thousand dollars
versions:
  - effective_from: '0001-01-01'
    formula: '5000'

mine_is_producingCO 39 § 39-6-105 · derived

Colo. Rev. Stat. § 39-6-105

name: mine_is_producing
kind: derived
entity: Asset
dtype: Judgment
period: Year
source: Colo. Rev. Stat. § 39-6-105
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: predicate
        source:
          corpus_citation_path: us-co/statute/39/39-6-105
versions:
  - effective_from: '0001-01-01'
    formula: >-
      gross_proceeds_during_preceding_calendar_year >
      producing_mine_gross_proceeds_threshold

mine_is_nonproducingCO 39 § 39-6-105 · derived

Colo. Rev. Stat. § 39-6-105

name: mine_is_nonproducing
kind: derived
entity: Asset
dtype: Judgment
period: Year
source: Colo. Rev. Stat. § 39-6-105
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: definition
        source:
          corpus_citation_path: us-co/statute/39/39-6-105
          excerpt: all others shall be classified as nonproducing mines
versions:
  - effective_from: '0001-01-01'
    formula: >-
      gross_proceeds_during_preceding_calendar_year <=
      producing_mine_gross_proceeds_threshold

▸rulespec code

Shown source

statutes/39/39-6-105.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

producing_mine_gross_proceeds_threshold

Parameter

source: Colo. Rev. Stat. § 39-6-105

- name: producing_mine_gross_proceeds_threshold
  kind: parameter
  dtype: Money
  period: Year
  unit: USD
  source: Colo. Rev. Stat. § 39-6-105
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us-co/statute/39/39-6-105
            excerpt: exceeded the amount of five thousand dollars
  versions:
    - effective_from: '0001-01-01'
      formula: '5000'

mine_is_producing

Derived

source: Colo. Rev. Stat. § 39-6-105

- name: mine_is_producing
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: Colo. Rev. Stat. § 39-6-105
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us-co/statute/39/39-6-105
  versions:
    - effective_from: '0001-01-01'
      formula: gross_proceeds_during_preceding_calendar_year > producing_mine_gross_proceeds_threshold

mine_is_nonproducing

Derived

source: Colo. Rev. Stat. § 39-6-105

- name: mine_is_nonproducing
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: Colo. Rev. Stat. § 39-6-105
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us-co/statute/39/39-6-105
            excerpt: all others shall be classified as nonproducing mines
  versions:
    - effective_from: '0001-01-01'
      formula: gross_proceeds_during_preceding_calendar_year <= producing_mine_gross_proceeds_threshold

loading…

Producing mines defined

3 rules

Official source

graph ↗build calculator ↗

in view

Whole section

Encodings · 3

producing_mine_gross_proceeds_thresholdCO 39 § 39-6-105 · parameter

Colo. Rev. Stat. § 39-6-105

name: producing_mine_gross_proceeds_threshold
kind: parameter
dtype: Money
period: Year
unit: USD
source: Colo. Rev. Stat. § 39-6-105
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: amount
        source:
          corpus_citation_path: us-co/statute/39/39-6-105
          excerpt: exceeded the amount of five thousand dollars
versions:
  - effective_from: '0001-01-01'
    formula: '5000'

mine_is_producingCO 39 § 39-6-105 · derived

Colo. Rev. Stat. § 39-6-105

name: mine_is_producing
kind: derived
entity: Asset
dtype: Judgment
period: Year
source: Colo. Rev. Stat. § 39-6-105
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: predicate
        source:
          corpus_citation_path: us-co/statute/39/39-6-105
versions:
  - effective_from: '0001-01-01'
    formula: >-
      gross_proceeds_during_preceding_calendar_year >
      producing_mine_gross_proceeds_threshold

mine_is_nonproducingCO 39 § 39-6-105 · derived

Colo. Rev. Stat. § 39-6-105

name: mine_is_nonproducing
kind: derived
entity: Asset
dtype: Judgment
period: Year
source: Colo. Rev. Stat. § 39-6-105
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: definition
        source:
          corpus_citation_path: us-co/statute/39/39-6-105
          excerpt: all others shall be classified as nonproducing mines
versions:
  - effective_from: '0001-01-01'
    formula: >-
      gross_proceeds_during_preceding_calendar_year <=
      producing_mine_gross_proceeds_threshold

▸rulespec code

Shown source

statutes/39/39-6-105.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

producing_mine_gross_proceeds_threshold

Parameter

source: Colo. Rev. Stat. § 39-6-105

- name: producing_mine_gross_proceeds_threshold
  kind: parameter
  dtype: Money
  period: Year
  unit: USD
  source: Colo. Rev. Stat. § 39-6-105
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us-co/statute/39/39-6-105
            excerpt: exceeded the amount of five thousand dollars
  versions:
    - effective_from: '0001-01-01'
      formula: '5000'

mine_is_producing

Derived

source: Colo. Rev. Stat. § 39-6-105

- name: mine_is_producing
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: Colo. Rev. Stat. § 39-6-105
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us-co/statute/39/39-6-105
  versions:
    - effective_from: '0001-01-01'
      formula: gross_proceeds_during_preceding_calendar_year > producing_mine_gross_proceeds_threshold

mine_is_nonproducing

Derived

source: Colo. Rev. Stat. § 39-6-105

- name: mine_is_nonproducing
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: Colo. Rev. Stat. § 39-6-105
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us-co/statute/39/39-6-105
            excerpt: all others shall be classified as nonproducing mines
  versions:
    - effective_from: '0001-01-01'
      formula: gross_proceeds_during_preceding_calendar_year <= producing_mine_gross_proceeds_threshold