loading…

us-co/statute/39/39-11-100.3 — Definitions · Axiom

Definitions

3 rules

As used in this article, unless the context otherwise requires:

(1) Date of sale means the date on which a public auction begins.

(2) Electronic funds transfer means a transfer of funds initiated by using an electronic terminal, telephonic instrument, or computer or magnetic tape to order or authorize a financial institution to credit or debit an account. Electronic funds transfer does not include a transaction originated by check, draft, or similar paper instrument.

(3) Negotiable paper means a bank check, draft, express or post office money order, or cashier's checks approved by the treasurer.

(4) Public auction means the sale of lands or town lots under this article at a venue or through a medium that allows members of the public to bid and purchase the lands or town lots.

in view

Whole section

Encodings · 3

electronic_funds_transferCO 39 § 39-11-100.3 · derived

Colo. Rev. Stat. § 39-11-100.3(2)

name: electronic_funds_transfer
kind: derived
entity: Payment
dtype: Judgment
period: Day
source: Colo. Rev. Stat. § 39-11-100.3(2)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: definition
        source:
          corpus_citation_path: us-co/statute/39/39-11-100.3
versions:
  - effective_from: '0001-01-01'
    formula: >-
      transfer_is_initiated_using_specified_electronic_means

      and
      transfer_orders_or_authorizes_financial_institution_account_credit_or_debit

      and not
      transaction_is_originated_by_check_draft_or_similar_paper_instrument

negotiable_paperCO 39 § 39-11-100.3 · derived

Colo. Rev. Stat. § 39-11-100.3(3)

name: negotiable_paper
kind: derived
entity: Payment
dtype: Judgment
period: Day
source: Colo. Rev. Stat. § 39-11-100.3(3)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: definition
        source:
          corpus_citation_path: us-co/statute/39/39-11-100.3
versions:
  - effective_from: '0001-01-01'
    formula: |-
      payment_is_bank_check
      or payment_is_draft
      or payment_is_express_or_post_office_money_order
      or payment_is_cashiers_check_approved_by_treasurer

public_auctionCO 39 § 39-11-100.3 · derived

Colo. Rev. Stat. § 39-11-100.3(4)

name: public_auction
kind: derived
entity: PublicAuction
dtype: Judgment
period: Day
source: Colo. Rev. Stat. § 39-11-100.3(4)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: definition
        source:
          corpus_citation_path: us-co/statute/39/39-11-100.3
versions:
  - effective_from: '0001-01-01'
    formula: |-
      sale_is_of_lands_or_town_lots_under_this_article
      and sale_venue_or_medium_allows_public_bidding_and_purchase

▸rulespec code

Shown source

statutes/39/39-11-100.3.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

electronic_funds_transfer

Derived

source: Colo. Rev. Stat. § 39-11-100.3(2)

- name: electronic_funds_transfer
  kind: derived
  entity: Payment
  dtype: Judgment
  period: Day
  source: Colo. Rev. Stat. § 39-11-100.3(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us-co/statute/39/39-11-100.3
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        transfer_is_initiated_using_specified_electronic_means
        and transfer_orders_or_authorizes_financial_institution_account_credit_or_debit
        and not transaction_is_originated_by_check_draft_or_similar_paper_instrument

negotiable_paper

Derived

source: Colo. Rev. Stat. § 39-11-100.3(3)

- name: negotiable_paper
  kind: derived
  entity: Payment
  dtype: Judgment
  period: Day
  source: Colo. Rev. Stat. § 39-11-100.3(3)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us-co/statute/39/39-11-100.3
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        payment_is_bank_check
        or payment_is_draft
        or payment_is_express_or_post_office_money_order
        or payment_is_cashiers_check_approved_by_treasurer

public_auction

Derived

source: Colo. Rev. Stat. § 39-11-100.3(4)

- name: public_auction
  kind: derived
  entity: PublicAuction
  dtype: Judgment
  period: Day
  source: Colo. Rev. Stat. § 39-11-100.3(4)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us-co/statute/39/39-11-100.3
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        sale_is_of_lands_or_town_lots_under_this_article
        and sale_venue_or_medium_allows_public_bidding_and_purchase

loading…

Definitions

3 rules

Official source

graph ↗build calculator ↗

As used in this article, unless the context otherwise requires:

(1) Date of sale means the date on which a public auction begins.

(3) Negotiable paper means a bank check, draft, express or post office money order, or cashier's checks approved by the treasurer.

(4) Public auction means the sale of lands or town lots under this article at a venue or through a medium that allows members of the public to bid and purchase the lands or town lots.

in view

Whole section

Encodings · 3

electronic_funds_transferCO 39 § 39-11-100.3 · derived

Colo. Rev. Stat. § 39-11-100.3(2)

name: electronic_funds_transfer
kind: derived
entity: Payment
dtype: Judgment
period: Day
source: Colo. Rev. Stat. § 39-11-100.3(2)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: definition
        source:
          corpus_citation_path: us-co/statute/39/39-11-100.3
versions:
  - effective_from: '0001-01-01'
    formula: >-
      transfer_is_initiated_using_specified_electronic_means

      and
      transfer_orders_or_authorizes_financial_institution_account_credit_or_debit

      and not
      transaction_is_originated_by_check_draft_or_similar_paper_instrument

negotiable_paperCO 39 § 39-11-100.3 · derived

Colo. Rev. Stat. § 39-11-100.3(3)

name: negotiable_paper
kind: derived
entity: Payment
dtype: Judgment
period: Day
source: Colo. Rev. Stat. § 39-11-100.3(3)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: definition
        source:
          corpus_citation_path: us-co/statute/39/39-11-100.3
versions:
  - effective_from: '0001-01-01'
    formula: |-
      payment_is_bank_check
      or payment_is_draft
      or payment_is_express_or_post_office_money_order
      or payment_is_cashiers_check_approved_by_treasurer

public_auctionCO 39 § 39-11-100.3 · derived

Colo. Rev. Stat. § 39-11-100.3(4)

name: public_auction
kind: derived
entity: PublicAuction
dtype: Judgment
period: Day
source: Colo. Rev. Stat. § 39-11-100.3(4)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: definition
        source:
          corpus_citation_path: us-co/statute/39/39-11-100.3
versions:
  - effective_from: '0001-01-01'
    formula: |-
      sale_is_of_lands_or_town_lots_under_this_article
      and sale_venue_or_medium_allows_public_bidding_and_purchase

▸rulespec code

Shown source

statutes/39/39-11-100.3.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

electronic_funds_transfer

Derived

source: Colo. Rev. Stat. § 39-11-100.3(2)

- name: electronic_funds_transfer
  kind: derived
  entity: Payment
  dtype: Judgment
  period: Day
  source: Colo. Rev. Stat. § 39-11-100.3(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us-co/statute/39/39-11-100.3
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        transfer_is_initiated_using_specified_electronic_means
        and transfer_orders_or_authorizes_financial_institution_account_credit_or_debit
        and not transaction_is_originated_by_check_draft_or_similar_paper_instrument

negotiable_paper

Derived

source: Colo. Rev. Stat. § 39-11-100.3(3)

- name: negotiable_paper
  kind: derived
  entity: Payment
  dtype: Judgment
  period: Day
  source: Colo. Rev. Stat. § 39-11-100.3(3)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us-co/statute/39/39-11-100.3
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        payment_is_bank_check
        or payment_is_draft
        or payment_is_express_or_post_office_money_order
        or payment_is_cashiers_check_approved_by_treasurer

public_auction

Derived

source: Colo. Rev. Stat. § 39-11-100.3(4)

- name: public_auction
  kind: derived
  entity: PublicAuction
  dtype: Judgment
  period: Day
  source: Colo. Rev. Stat. § 39-11-100.3(4)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us-co/statute/39/39-11-100.3
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        sale_is_of_lands_or_town_lots_under_this_article
        and sale_venue_or_medium_allows_public_bidding_and_purchase