loading…

us-co/statute/39/39-12-110 — Payment when certificate lost · Axiom

Payment when certificate lost

3 rules

If there is a loss or wrongful detention of such certificate and the land therein described has been redeemed, the owner thereof may exhibit to the treasurer evidence of such loss or detention, and, upon his making the same to appear satisfactory to the treasurer and upon his executing a bond with sufficient surety that he will refund such redemption money, with twenty-five percent per annum interest thereon, if any person thereafter shows his right thereto, the treasurer shall pay such redemption money to the person so executing such bond.

in view

Whole section

Encodings · 3

bond_refund_interest_rateCO 39 § 39-12-110 · parameter

us-co/statute/39/39-12-110

name: bond_refund_interest_rate
kind: parameter
dtype: Rate
period: Year
source: us-co/statute/39/39-12-110
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us-co/statute/39/39-12-110
          excerpt: twenty-five percent per annum interest
versions:
  - effective_from: '0001-01-01'
    formula: '0.25'

bond_satisfies_refund_conditionCO 39 § 39-12-110 · derived

us-co/statute/39/39-12-110

name: bond_satisfies_refund_condition
kind: derived
entity: Person
dtype: Judgment
period: Day
source: us-co/statute/39/39-12-110
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-co/statute/39/39-12-110
          excerpt: >-
            executing a bond with sufficient surety that he will refund such
            redemption money
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/statute/39/39-12-110
          excerpt: >-
            with twenty-five percent per annum interest thereon, if any person
            thereafter shows his right thereto
versions:
  - effective_from: '0001-01-01'
    formula: |-
      bond_has_sufficient_surety
      and bond_requires_refund_of_redemption_money_if_later_right_shown
      and bond_interest_rate == bond_refund_interest_rate

owner_is_entitled_to_redemption_money_paymentCO 39 § 39-12-110 · derived

us-co/statute/39/39-12-110

name: owner_is_entitled_to_redemption_money_payment
kind: derived
entity: Person
dtype: Judgment
period: Day
source: us-co/statute/39/39-12-110
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-co/statute/39/39-12-110
          excerpt: >-
            If there is a loss or wrongful detention of such certificate and the
            land therein described has been redeemed
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-co/statute/39/39-12-110
          excerpt: >-
            the owner thereof may exhibit to the treasurer evidence of such loss
            or detention
      - path: versions[0].formula
        kind: predicate
        source:
          corpus_citation_path: us-co/statute/39/39-12-110
          excerpt: upon his making the same to appear satisfactory to the treasurer
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/statute/39/39-12-110
          excerpt: >-
            the treasurer shall pay such redemption money to the person so
            executing such bond
versions:
  - effective_from: '0001-01-01'
    formula: |-
      certificate_is_lost_or_wrongfully_detained
      and land_described_in_certificate_has_been_redeemed
      and owner_exhibited_loss_or_detention_evidence_to_treasurer
      and evidence_is_satisfactory_to_treasurer
      and bond_satisfies_refund_condition

▸rulespec code

Shown source

statutes/39/39-12-110.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

bond_refund_interest_rate

Parameter

source: us-co/statute/39/39-12-110

- name: bond_refund_interest_rate
  kind: parameter
  dtype: Rate
  period: Year
  source: us-co/statute/39/39-12-110
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us-co/statute/39/39-12-110
            excerpt: twenty-five percent per annum interest
  versions:
    - effective_from: '0001-01-01'
      formula: '0.25'

bond_satisfies_refund_condition

Derived

source: us-co/statute/39/39-12-110

- name: bond_satisfies_refund_condition
  kind: derived
  entity: Person
  dtype: Judgment
  period: Day
  source: us-co/statute/39/39-12-110
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-co/statute/39/39-12-110
            excerpt: executing a bond with sufficient surety that he will refund such redemption money
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/statute/39/39-12-110
            excerpt: >-
              with twenty-five percent per annum interest thereon, if any person thereafter shows
              his right thereto
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        bond_has_sufficient_surety
        and bond_requires_refund_of_redemption_money_if_later_right_shown
        and bond_interest_rate == bond_refund_interest_rate

owner_is_entitled_to_redemption_money_payment

Derived

source: us-co/statute/39/39-12-110

- name: owner_is_entitled_to_redemption_money_payment
  kind: derived
  entity: Person
  dtype: Judgment
  period: Day
  source: us-co/statute/39/39-12-110
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-co/statute/39/39-12-110
            excerpt: >-
              If there is a loss or wrongful detention of such certificate and the land therein
              described has been redeemed
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-co/statute/39/39-12-110
            excerpt: the owner thereof may exhibit to the treasurer evidence of such loss or detention
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us-co/statute/39/39-12-110
            excerpt: upon his making the same to appear satisfactory to the treasurer
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/statute/39/39-12-110
            excerpt: the treasurer shall pay such redemption money to the person so executing such bond
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        certificate_is_lost_or_wrongfully_detained
        and land_described_in_certificate_has_been_redeemed
        and owner_exhibited_loss_or_detention_evidence_to_treasurer
        and evidence_is_satisfactory_to_treasurer
        and bond_satisfies_refund_condition

loading…

Payment when certificate lost

3 rules

Official source

graph ↗build calculator ↗

in view

Whole section

Encodings · 3

bond_refund_interest_rateCO 39 § 39-12-110 · parameter

us-co/statute/39/39-12-110

name: bond_refund_interest_rate
kind: parameter
dtype: Rate
period: Year
source: us-co/statute/39/39-12-110
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us-co/statute/39/39-12-110
          excerpt: twenty-five percent per annum interest
versions:
  - effective_from: '0001-01-01'
    formula: '0.25'

bond_satisfies_refund_conditionCO 39 § 39-12-110 · derived

us-co/statute/39/39-12-110

name: bond_satisfies_refund_condition
kind: derived
entity: Person
dtype: Judgment
period: Day
source: us-co/statute/39/39-12-110
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-co/statute/39/39-12-110
          excerpt: >-
            executing a bond with sufficient surety that he will refund such
            redemption money
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/statute/39/39-12-110
          excerpt: >-
            with twenty-five percent per annum interest thereon, if any person
            thereafter shows his right thereto
versions:
  - effective_from: '0001-01-01'
    formula: |-
      bond_has_sufficient_surety
      and bond_requires_refund_of_redemption_money_if_later_right_shown
      and bond_interest_rate == bond_refund_interest_rate

owner_is_entitled_to_redemption_money_paymentCO 39 § 39-12-110 · derived

us-co/statute/39/39-12-110

name: owner_is_entitled_to_redemption_money_payment
kind: derived
entity: Person
dtype: Judgment
period: Day
source: us-co/statute/39/39-12-110
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-co/statute/39/39-12-110
          excerpt: >-
            If there is a loss or wrongful detention of such certificate and the
            land therein described has been redeemed
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-co/statute/39/39-12-110
          excerpt: >-
            the owner thereof may exhibit to the treasurer evidence of such loss
            or detention
      - path: versions[0].formula
        kind: predicate
        source:
          corpus_citation_path: us-co/statute/39/39-12-110
          excerpt: upon his making the same to appear satisfactory to the treasurer
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/statute/39/39-12-110
          excerpt: >-
            the treasurer shall pay such redemption money to the person so
            executing such bond
versions:
  - effective_from: '0001-01-01'
    formula: |-
      certificate_is_lost_or_wrongfully_detained
      and land_described_in_certificate_has_been_redeemed
      and owner_exhibited_loss_or_detention_evidence_to_treasurer
      and evidence_is_satisfactory_to_treasurer
      and bond_satisfies_refund_condition

▸rulespec code

Shown source

statutes/39/39-12-110.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

bond_refund_interest_rate

Parameter

source: us-co/statute/39/39-12-110

- name: bond_refund_interest_rate
  kind: parameter
  dtype: Rate
  period: Year
  source: us-co/statute/39/39-12-110
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us-co/statute/39/39-12-110
            excerpt: twenty-five percent per annum interest
  versions:
    - effective_from: '0001-01-01'
      formula: '0.25'

bond_satisfies_refund_condition

Derived

source: us-co/statute/39/39-12-110

- name: bond_satisfies_refund_condition
  kind: derived
  entity: Person
  dtype: Judgment
  period: Day
  source: us-co/statute/39/39-12-110
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-co/statute/39/39-12-110
            excerpt: executing a bond with sufficient surety that he will refund such redemption money
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/statute/39/39-12-110
            excerpt: >-
              with twenty-five percent per annum interest thereon, if any person thereafter shows
              his right thereto
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        bond_has_sufficient_surety
        and bond_requires_refund_of_redemption_money_if_later_right_shown
        and bond_interest_rate == bond_refund_interest_rate

owner_is_entitled_to_redemption_money_payment

Derived

source: us-co/statute/39/39-12-110

- name: owner_is_entitled_to_redemption_money_payment
  kind: derived
  entity: Person
  dtype: Judgment
  period: Day
  source: us-co/statute/39/39-12-110
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-co/statute/39/39-12-110
            excerpt: >-
              If there is a loss or wrongful detention of such certificate and the land therein
              described has been redeemed
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-co/statute/39/39-12-110
            excerpt: the owner thereof may exhibit to the treasurer evidence of such loss or detention
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us-co/statute/39/39-12-110
            excerpt: upon his making the same to appear satisfactory to the treasurer
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/statute/39/39-12-110
            excerpt: the treasurer shall pay such redemption money to the person so executing such bond
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        certificate_is_lost_or_wrongfully_detained
        and land_described_in_certificate_has_been_redeemed
        and owner_exhibited_loss_or_detention_evidence_to_treasurer
        and evidence_is_satisfactory_to_treasurer
        and bond_satisfies_refund_condition