loading…

us-co/statute/39/39-11-152 — Combined sale of delinquent tax liens and special assessment liens · Axiom

Combined sale of delinquent tax liens and special assessment liens

2 rules

Whenever provision is made in this article for the sale of a tax lien on property, such sale shall include the sale of any lien for delinquent special assessments on such property which have been certified to the county treasurer for collection. The separate sale of liens for delinquent general taxes and for delinquent special assessments on property is hereby prohibited.

in view

Whole section

Encodings · 2

certified_delinquent_special_assessment_lien_must_be_included_in_tax_lien_saleCO 39 § 39-11-152 · derived

C.R.S. 39-11-152

name: certified_delinquent_special_assessment_lien_must_be_included_in_tax_lien_sale
kind: derived
entity: Asset
dtype: Judgment
period: Year
source: C.R.S. 39-11-152
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-co/statute/39/39-11-152
versions:
  - effective_from: '0001-01-01'
    formula: >-
      sale_of_tax_lien_on_property_is_provided

      and
      delinquent_special_assessment_lien_is_certified_to_county_treasurer_for_collection

separate_sale_of_delinquent_general_tax_and_special_assessment_liens_is_permittedCO 39 § 39-11-152 · derived

C.R.S. 39-11-152

name: >-
  separate_sale_of_delinquent_general_tax_and_special_assessment_liens_is_permitted
kind: derived
entity: Asset
dtype: Judgment
period: Year
source: C.R.S. 39-11-152
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: predicate
        source:
          corpus_citation_path: us-co/statute/39/39-11-152
versions:
  - effective_from: '0001-01-01'
    formula: 'false'

▸rulespec code

Shown source

statutes/39/39-11-152.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

certified_delinquent_special_assessment_lien_must_be_included_in_tax_lien_sale

Derived

source: C.R.S. 39-11-152

- name: certified_delinquent_special_assessment_lien_must_be_included_in_tax_lien_sale
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: C.R.S. 39-11-152
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-co/statute/39/39-11-152
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        sale_of_tax_lien_on_property_is_provided
        and delinquent_special_assessment_lien_is_certified_to_county_treasurer_for_collection

separate_sale_of_delinquent_general_tax_and_special_assessment_liens_is_permitted

Derived

source: C.R.S. 39-11-152

- name: separate_sale_of_delinquent_general_tax_and_special_assessment_liens_is_permitted
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: C.R.S. 39-11-152
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us-co/statute/39/39-11-152
  versions:
    - effective_from: '0001-01-01'
      formula: 'false'

loading…

Combined sale of delinquent tax liens and special assessment liens

2 rules

Official source

graph ↗build calculator ↗

in view

Whole section

Encodings · 2

certified_delinquent_special_assessment_lien_must_be_included_in_tax_lien_saleCO 39 § 39-11-152 · derived

C.R.S. 39-11-152

name: certified_delinquent_special_assessment_lien_must_be_included_in_tax_lien_sale
kind: derived
entity: Asset
dtype: Judgment
period: Year
source: C.R.S. 39-11-152
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-co/statute/39/39-11-152
versions:
  - effective_from: '0001-01-01'
    formula: >-
      sale_of_tax_lien_on_property_is_provided

      and
      delinquent_special_assessment_lien_is_certified_to_county_treasurer_for_collection

separate_sale_of_delinquent_general_tax_and_special_assessment_liens_is_permittedCO 39 § 39-11-152 · derived

C.R.S. 39-11-152

name: >-
  separate_sale_of_delinquent_general_tax_and_special_assessment_liens_is_permitted
kind: derived
entity: Asset
dtype: Judgment
period: Year
source: C.R.S. 39-11-152
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: predicate
        source:
          corpus_citation_path: us-co/statute/39/39-11-152
versions:
  - effective_from: '0001-01-01'
    formula: 'false'

▸rulespec code

Shown source

statutes/39/39-11-152.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

certified_delinquent_special_assessment_lien_must_be_included_in_tax_lien_sale

Derived

source: C.R.S. 39-11-152

- name: certified_delinquent_special_assessment_lien_must_be_included_in_tax_lien_sale
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: C.R.S. 39-11-152
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-co/statute/39/39-11-152
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        sale_of_tax_lien_on_property_is_provided
        and delinquent_special_assessment_lien_is_certified_to_county_treasurer_for_collection

separate_sale_of_delinquent_general_tax_and_special_assessment_liens_is_permitted

Derived

source: C.R.S. 39-11-152

- name: separate_sale_of_delinquent_general_tax_and_special_assessment_liens_is_permitted
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: C.R.S. 39-11-152
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us-co/statute/39/39-11-152
  versions:
    - effective_from: '0001-01-01'
      formula: 'false'