loading…

us-co/statute/39/39-12-102 — Action to recover mining property · Axiom

Action to recover mining property

2 rules

No action shall be maintained for the recovery of mining or placer claims unless such action is brought within a period of two years from the commencement of actual possession obtained under tax deed.

in view

Whole section

Encodings · 2

tax_deed_possession_recovery_action_limitation_yearsCO 39 § 39-12-102 · parameter

C.R.S. 39-12-102

name: tax_deed_possession_recovery_action_limitation_years
kind: parameter
dtype: Count
period: Year
source: C.R.S. 39-12-102
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us-co/statute/39/39-12-102
          excerpt: within a period of two years
versions:
  - effective_from: '0001-01-01'
    formula: '2'

mining_or_placer_claim_recovery_action_is_timelyCO 39 § 39-12-102 · derived

C.R.S. 39-12-102

name: mining_or_placer_claim_recovery_action_is_timely
kind: derived
entity: Action
dtype: Judgment
period: Day
source: C.R.S. 39-12-102
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-co/statute/39/39-12-102
          excerpt: >-
            No action shall be maintained for the recovery of mining or placer
            claims
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/statute/39/39-12-102
          excerpt: >-
            unless such action is brought within a period of two years from the
            commencement of actual possession obtained under tax deed
versions:
  - effective_from: '0001-01-01'
    formula: |-
      action_seeks_recovery_of_mining_or_placer_claims
      and actual_possession_was_obtained_under_tax_deed
      and years_since_commencement_of_actual_possession
        <= tax_deed_possession_recovery_action_limitation_years

▸rulespec code

Shown source

statutes/39/39-12-102.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

tax_deed_possession_recovery_action_limitation_years

Parameter

source: C.R.S. 39-12-102

- name: tax_deed_possession_recovery_action_limitation_years
  kind: parameter
  dtype: Count
  period: Year
  source: C.R.S. 39-12-102
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us-co/statute/39/39-12-102
            excerpt: within a period of two years
  versions:
    - effective_from: '0001-01-01'
      formula: '2'

mining_or_placer_claim_recovery_action_is_timely

Derived

source: C.R.S. 39-12-102

- name: mining_or_placer_claim_recovery_action_is_timely
  kind: derived
  entity: Action
  dtype: Judgment
  period: Day
  source: C.R.S. 39-12-102
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-co/statute/39/39-12-102
            excerpt: No action shall be maintained for the recovery of mining or placer claims
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/statute/39/39-12-102
            excerpt: >-
              unless such action is brought within a period of two years from the commencement of
              actual possession obtained under tax deed
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        action_seeks_recovery_of_mining_or_placer_claims
        and actual_possession_was_obtained_under_tax_deed
        and years_since_commencement_of_actual_possession
          <= tax_deed_possession_recovery_action_limitation_years

loading…

Action to recover mining property

2 rules

Official source

graph ↗build calculator ↗

in view

Whole section

Encodings · 2

tax_deed_possession_recovery_action_limitation_yearsCO 39 § 39-12-102 · parameter

C.R.S. 39-12-102

name: tax_deed_possession_recovery_action_limitation_years
kind: parameter
dtype: Count
period: Year
source: C.R.S. 39-12-102
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us-co/statute/39/39-12-102
          excerpt: within a period of two years
versions:
  - effective_from: '0001-01-01'
    formula: '2'

mining_or_placer_claim_recovery_action_is_timelyCO 39 § 39-12-102 · derived

C.R.S. 39-12-102

name: mining_or_placer_claim_recovery_action_is_timely
kind: derived
entity: Action
dtype: Judgment
period: Day
source: C.R.S. 39-12-102
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-co/statute/39/39-12-102
          excerpt: >-
            No action shall be maintained for the recovery of mining or placer
            claims
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/statute/39/39-12-102
          excerpt: >-
            unless such action is brought within a period of two years from the
            commencement of actual possession obtained under tax deed
versions:
  - effective_from: '0001-01-01'
    formula: |-
      action_seeks_recovery_of_mining_or_placer_claims
      and actual_possession_was_obtained_under_tax_deed
      and years_since_commencement_of_actual_possession
        <= tax_deed_possession_recovery_action_limitation_years

▸rulespec code

Shown source

statutes/39/39-12-102.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

tax_deed_possession_recovery_action_limitation_years

Parameter

source: C.R.S. 39-12-102

- name: tax_deed_possession_recovery_action_limitation_years
  kind: parameter
  dtype: Count
  period: Year
  source: C.R.S. 39-12-102
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us-co/statute/39/39-12-102
            excerpt: within a period of two years
  versions:
    - effective_from: '0001-01-01'
      formula: '2'

mining_or_placer_claim_recovery_action_is_timely

Derived

source: C.R.S. 39-12-102

- name: mining_or_placer_claim_recovery_action_is_timely
  kind: derived
  entity: Action
  dtype: Judgment
  period: Day
  source: C.R.S. 39-12-102
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-co/statute/39/39-12-102
            excerpt: No action shall be maintained for the recovery of mining or placer claims
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/statute/39/39-12-102
            excerpt: >-
              unless such action is brought within a period of two years from the commencement of
              actual possession obtained under tax deed
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        action_seeks_recovery_of_mining_or_placer_claims
        and actual_possession_was_obtained_under_tax_deed
        and years_since_commencement_of_actual_possession
          <= tax_deed_possession_recovery_action_limitation_years