loading…

us-co/statute/39/39-12-109 — Payment upon surrender of tax certificate · Axiom

Payment upon surrender of tax certificate

3 rules

On demand of any person entitled to redemption money in his hands, the treasurer shall pay the same to any such person, upon his surrendering to him the tax certificate to such land or lot as has been redeemed. If only a portion of the land or lots described in the tax certificate has been redeemed, the treasurer shall endorse on such certificate the portion redeemed and the amount of money paid to each person and shall take a receipt therefor.

in view

Whole section

Encodings · 3

treasurer_must_pay_redemption_moneyCO 39 § 39-12-109 · derived

C.R.S. § 39-12-109

name: treasurer_must_pay_redemption_money
kind: derived
entity: Treasurer
dtype: Judgment
period: Day
source: C.R.S. § 39-12-109
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-co/statute/39/39-12-109
versions:
  - effective_from: '0001-01-01'
    formula: |-
      demanding_person_demands_redemption_money
      and demanding_person_is_entitled_to_redemption_money_in_treasurer_hands
      and demanding_person_surrenders_tax_certificate_for_redeemed_land_or_lot

treasurer_must_endorse_partial_redemption_certificateCO 39 § 39-12-109 · derived

C.R.S. § 39-12-109

name: treasurer_must_endorse_partial_redemption_certificate
kind: derived
entity: Treasurer
dtype: Judgment
period: Day
source: C.R.S. § 39-12-109
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-co/statute/39/39-12-109
versions:
  - effective_from: '0001-01-01'
    formula: >-
      only_portion_of_land_or_lots_described_in_tax_certificate_has_been_redeemed

treasurer_must_take_partial_redemption_receiptCO 39 § 39-12-109 · derived

C.R.S. § 39-12-109

name: treasurer_must_take_partial_redemption_receipt
kind: derived
entity: Treasurer
dtype: Judgment
period: Day
source: C.R.S. § 39-12-109
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-co/statute/39/39-12-109
versions:
  - effective_from: '0001-01-01'
    formula: >-
      only_portion_of_land_or_lots_described_in_tax_certificate_has_been_redeemed

▸rulespec code

Shown source

statutes/39/39-12-109.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

treasurer_must_pay_redemption_money

Derived

source: C.R.S. § 39-12-109

- name: treasurer_must_pay_redemption_money
  kind: derived
  entity: Treasurer
  dtype: Judgment
  period: Day
  source: C.R.S. § 39-12-109
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-co/statute/39/39-12-109
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        demanding_person_demands_redemption_money
        and demanding_person_is_entitled_to_redemption_money_in_treasurer_hands
        and demanding_person_surrenders_tax_certificate_for_redeemed_land_or_lot

treasurer_must_endorse_partial_redemption_certificate

Derived

source: C.R.S. § 39-12-109

- name: treasurer_must_endorse_partial_redemption_certificate
  kind: derived
  entity: Treasurer
  dtype: Judgment
  period: Day
  source: C.R.S. § 39-12-109
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-co/statute/39/39-12-109
  versions:
    - effective_from: '0001-01-01'
      formula: only_portion_of_land_or_lots_described_in_tax_certificate_has_been_redeemed

treasurer_must_take_partial_redemption_receipt

Derived

source: C.R.S. § 39-12-109

- name: treasurer_must_take_partial_redemption_receipt
  kind: derived
  entity: Treasurer
  dtype: Judgment
  period: Day
  source: C.R.S. § 39-12-109
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-co/statute/39/39-12-109
  versions:
    - effective_from: '0001-01-01'
      formula: only_portion_of_land_or_lots_described_in_tax_certificate_has_been_redeemed

loading…

Payment upon surrender of tax certificate

3 rules

Official source

graph ↗build calculator ↗

in view

Whole section

Encodings · 3

treasurer_must_pay_redemption_moneyCO 39 § 39-12-109 · derived

C.R.S. § 39-12-109

name: treasurer_must_pay_redemption_money
kind: derived
entity: Treasurer
dtype: Judgment
period: Day
source: C.R.S. § 39-12-109
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-co/statute/39/39-12-109
versions:
  - effective_from: '0001-01-01'
    formula: |-
      demanding_person_demands_redemption_money
      and demanding_person_is_entitled_to_redemption_money_in_treasurer_hands
      and demanding_person_surrenders_tax_certificate_for_redeemed_land_or_lot

treasurer_must_endorse_partial_redemption_certificateCO 39 § 39-12-109 · derived

C.R.S. § 39-12-109

name: treasurer_must_endorse_partial_redemption_certificate
kind: derived
entity: Treasurer
dtype: Judgment
period: Day
source: C.R.S. § 39-12-109
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-co/statute/39/39-12-109
versions:
  - effective_from: '0001-01-01'
    formula: >-
      only_portion_of_land_or_lots_described_in_tax_certificate_has_been_redeemed

treasurer_must_take_partial_redemption_receiptCO 39 § 39-12-109 · derived

C.R.S. § 39-12-109

name: treasurer_must_take_partial_redemption_receipt
kind: derived
entity: Treasurer
dtype: Judgment
period: Day
source: C.R.S. § 39-12-109
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-co/statute/39/39-12-109
versions:
  - effective_from: '0001-01-01'
    formula: >-
      only_portion_of_land_or_lots_described_in_tax_certificate_has_been_redeemed

▸rulespec code

Shown source

statutes/39/39-12-109.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

treasurer_must_pay_redemption_money

Derived

source: C.R.S. § 39-12-109

- name: treasurer_must_pay_redemption_money
  kind: derived
  entity: Treasurer
  dtype: Judgment
  period: Day
  source: C.R.S. § 39-12-109
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-co/statute/39/39-12-109
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        demanding_person_demands_redemption_money
        and demanding_person_is_entitled_to_redemption_money_in_treasurer_hands
        and demanding_person_surrenders_tax_certificate_for_redeemed_land_or_lot

treasurer_must_endorse_partial_redemption_certificate

Derived

source: C.R.S. § 39-12-109

- name: treasurer_must_endorse_partial_redemption_certificate
  kind: derived
  entity: Treasurer
  dtype: Judgment
  period: Day
  source: C.R.S. § 39-12-109
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-co/statute/39/39-12-109
  versions:
    - effective_from: '0001-01-01'
      formula: only_portion_of_land_or_lots_described_in_tax_certificate_has_been_redeemed

treasurer_must_take_partial_redemption_receipt

Derived

source: C.R.S. § 39-12-109

- name: treasurer_must_take_partial_redemption_receipt
  kind: derived
  entity: Treasurer
  dtype: Judgment
  period: Day
  source: C.R.S. § 39-12-109
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-co/statute/39/39-12-109
  versions:
    - effective_from: '0001-01-01'
      formula: only_portion_of_land_or_lots_described_in_tax_certificate_has_been_redeemed