us/statute/26/164/c/2

loading…

Taxes on real property, to the extent that subsection (d) requires such taxes to be treated as imposed on another taxpayer.

in view

Whole section

▸rulespec code

Shown source

statutes/26/164.yaml

Displaying the canonical repository encoding.

This encoding covers the parent provision us/statute/26/164; no dedicated encoding exists for this exact provision yet.

View on GitHub

Rules

personal_property_tax

Derived

source: 26 USC 164(b)

- name: personal_property_tax
  kind: derived
  entity: Payment
  dtype: Judgment
  period: Year
  source: 26 USC 164(b)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/26/164
            excerpt: >-
              The term “personal property tax” means an ad valorem tax which is imposed on an annual
              basis in respect of personal property.
  versions:
    - effective_from: '1990-01-01'
      formula: |-
        tax_is_ad_valorem
        and tax_is_imposed_on_annual_basis_in_respect_of_personal_property

applicable_limitation_amount_for_taxable_year_beginning_in_calendar_year_2025

Parameter

source: 26 USC 164(b)(7)(A)(i)

- name: applicable_limitation_amount_for_taxable_year_beginning_in_calendar_year_2025
  kind: parameter
  dtype: Money
  unit: USD
  source: 26 USC 164(b)(7)(A)(i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/26/164
            excerpt: in the case of any taxable year beginning in calendar year 2025, $40,000
  versions:
    - effective_from: '2025-01-01'
      formula: '40000'

applicable_limitation_amount_for_taxable_year_beginning_in_calendar_year_2026

Parameter

source: 26 USC 164(b)(7)(A)(ii)

- name: applicable_limitation_amount_for_taxable_year_beginning_in_calendar_year_2026
  kind: parameter
  dtype: Money
  unit: USD
  source: 26 USC 164(b)(7)(A)(ii)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/26/164
            excerpt: in the case of any taxable year beginning in calendar year 2026, $40,400
  versions:
    - effective_from: '2026-01-01'
      formula: '40400'

applicable_limitation_amount_annual_adjustment_factor

Parameter

source: 26 USC 164(b)(7)(A)(iii)

- name: applicable_limitation_amount_annual_adjustment_factor
  kind: parameter
  dtype: Decimal
  source: 26 USC 164(b)(7)(A)(iii)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/26/164
            excerpt: >-
              101 percent of the dollar amount in effect under this subparagraph for taxable years
              beginning in the preceding calendar year
  versions:
    - effective_from: '2027-01-01'
      formula: '1.01'

applicable_limitation_amount_after_calendar_year_2029

Parameter

source: 26 USC 164(b)(7)(A)(iv)

- name: applicable_limitation_amount_after_calendar_year_2029
  kind: parameter
  dtype: Money
  unit: USD
  source: 26 USC 164(b)(7)(A)(iv)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/26/164
            excerpt: in the case of any taxable year beginning after calendar year 2029, $10,000
  versions:
    - effective_from: '2030-01-01'
      formula: '10000'

modified_adjusted_gross_income_phaseout_rate

Parameter

source: 26 USC 164(b)(7)(B)(i)

- name: modified_adjusted_gross_income_phaseout_rate
  kind: parameter
  dtype: Rate
  source: 26 USC 164(b)(7)(B)(i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/26/164
            excerpt: reduced by 30 percent of the excess
  versions:
    - effective_from: '2025-01-01'
      formula: '0.30'

modified_adjusted_gross_income_threshold_for_taxable_year_beginning_in_calendar_year_2025

Parameter

source: 26 USC 164(b)(7)(B)(ii)(I)

- name: modified_adjusted_gross_income_threshold_for_taxable_year_beginning_in_calendar_year_2025
  kind: parameter
  dtype: Money
  unit: USD
  source: 26 USC 164(b)(7)(B)(ii)(I)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/26/164
            excerpt: in the case of any taxable year beginning in calendar year 2025, $500,000
  versions:
    - effective_from: '2025-01-01'
      formula: '500000'

modified_adjusted_gross_income_threshold_for_taxable_year_beginning_in_calendar_year_2026

Parameter

source: 26 USC 164(b)(7)(B)(ii)(II)

- name: modified_adjusted_gross_income_threshold_for_taxable_year_beginning_in_calendar_year_2026
  kind: parameter
  dtype: Money
  unit: USD
  source: 26 USC 164(b)(7)(B)(ii)(II)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/26/164
            excerpt: in the case of any taxable year beginning in calendar year 2026, $505,000
  versions:
    - effective_from: '2026-01-01'
      formula: '505000'

modified_adjusted_gross_income_threshold_annual_adjustment_factor

Parameter

source: 26 USC 164(b)(7)(B)(ii)(III)

- name: modified_adjusted_gross_income_threshold_annual_adjustment_factor
  kind: parameter
  dtype: Decimal
  source: 26 USC 164(b)(7)(B)(ii)(III)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/26/164
            excerpt: >-
              in the case of any taxable year beginning after calendar year 2026, 101 percent of the
              dollar amount in effect under this subparagraph for taxable years beginning in the
              preceding calendar year
  versions:
    - effective_from: '2027-01-01'
      formula: '1.01'

applicable_limitation_amount_phaseout_floor

Parameter

source: 26 USC 164(b)(7)(B)(iii)

- name: applicable_limitation_amount_phaseout_floor
  kind: parameter
  dtype: Money
  unit: USD
  source: 26 USC 164(b)(7)(B)(iii)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/26/164
            excerpt: shall not result in the applicable limitation amount being less than $10,000
  versions:
    - effective_from: '2025-01-01'
      formula: '10000'

married_separate_applicable_limitation_fraction

Parameter

source: 26 USC 164(b)(6)(B)

- name: married_separate_applicable_limitation_fraction
  kind: parameter
  dtype: Rate
  source: 26 USC 164(b)(6)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/26/164
            excerpt: >-
              half the applicable limitation amount in the case of a married individual filing a
              separate return
  versions:
    - effective_from: '2018-01-01'
      formula: 1 / 2

seller_real_property_tax_treated_as_imposed

Derived

source: 26 USC 164(d)

- name: seller_real_property_tax_treated_as_imposed
  kind: derived
  entity: TaxUnit
  dtype: Money
  period: Year
  unit: USD
  source: 26 USC 164(d)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/164
            excerpt: >-
              so much of the real property tax as is properly allocable to that part of such year
              which ends on the day before the date of the sale shall be treated as a tax imposed on
              the seller
  versions:
    - effective_from: '1990-01-01'
      formula: >-
        if real_property_sold_during_real_property_tax_year: max(0,
        real_property_tax_properly_allocable_to_period_before_sale) else: 0

purchaser_real_property_tax_treated_as_imposed

Derived

source: 26 USC 164(d)

- name: purchaser_real_property_tax_treated_as_imposed
  kind: derived
  entity: TaxUnit
  dtype: Money
  period: Year
  unit: USD
  source: 26 USC 164(d)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/164
            excerpt: >-
              so much of such tax as is properly allocable to that part of such year which begins on
              the date of the sale shall be treated as a tax imposed on the purchaser
  versions:
    - effective_from: '1990-01-01'
      formula: >-
        if real_property_sold_during_real_property_tax_year: max(0,
        real_property_tax_properly_allocable_to_period_beginning_on_sale_date) else: 0

loading…

us/statute/26/164/c/2 · Axiom

Official source

Taxes on real property, to the extent that subsection (d) requires such taxes to be treated as imposed on another taxpayer.

in view

Whole section

▸rulespec code

Shown source

statutes/26/164.yaml

Displaying the canonical repository encoding.

This encoding covers the parent provision us/statute/26/164; no dedicated encoding exists for this exact provision yet.

View on GitHub

Rules

personal_property_tax

Derived

source: 26 USC 164(b)

- name: personal_property_tax
  kind: derived
  entity: Payment
  dtype: Judgment
  period: Year
  source: 26 USC 164(b)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/26/164
            excerpt: >-
              The term “personal property tax” means an ad valorem tax which is imposed on an annual
              basis in respect of personal property.
  versions:
    - effective_from: '1990-01-01'
      formula: |-
        tax_is_ad_valorem
        and tax_is_imposed_on_annual_basis_in_respect_of_personal_property

applicable_limitation_amount_for_taxable_year_beginning_in_calendar_year_2025

Parameter

source: 26 USC 164(b)(7)(A)(i)

- name: applicable_limitation_amount_for_taxable_year_beginning_in_calendar_year_2025
  kind: parameter
  dtype: Money
  unit: USD
  source: 26 USC 164(b)(7)(A)(i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/26/164
            excerpt: in the case of any taxable year beginning in calendar year 2025, $40,000
  versions:
    - effective_from: '2025-01-01'
      formula: '40000'

applicable_limitation_amount_for_taxable_year_beginning_in_calendar_year_2026

Parameter

source: 26 USC 164(b)(7)(A)(ii)

- name: applicable_limitation_amount_for_taxable_year_beginning_in_calendar_year_2026
  kind: parameter
  dtype: Money
  unit: USD
  source: 26 USC 164(b)(7)(A)(ii)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/26/164
            excerpt: in the case of any taxable year beginning in calendar year 2026, $40,400
  versions:
    - effective_from: '2026-01-01'
      formula: '40400'

applicable_limitation_amount_annual_adjustment_factor

Parameter

source: 26 USC 164(b)(7)(A)(iii)

- name: applicable_limitation_amount_annual_adjustment_factor
  kind: parameter
  dtype: Decimal
  source: 26 USC 164(b)(7)(A)(iii)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/26/164
            excerpt: >-
              101 percent of the dollar amount in effect under this subparagraph for taxable years
              beginning in the preceding calendar year
  versions:
    - effective_from: '2027-01-01'
      formula: '1.01'

applicable_limitation_amount_after_calendar_year_2029

Parameter

source: 26 USC 164(b)(7)(A)(iv)

- name: applicable_limitation_amount_after_calendar_year_2029
  kind: parameter
  dtype: Money
  unit: USD
  source: 26 USC 164(b)(7)(A)(iv)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/26/164
            excerpt: in the case of any taxable year beginning after calendar year 2029, $10,000
  versions:
    - effective_from: '2030-01-01'
      formula: '10000'

modified_adjusted_gross_income_phaseout_rate

Parameter

source: 26 USC 164(b)(7)(B)(i)

- name: modified_adjusted_gross_income_phaseout_rate
  kind: parameter
  dtype: Rate
  source: 26 USC 164(b)(7)(B)(i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/26/164
            excerpt: reduced by 30 percent of the excess
  versions:
    - effective_from: '2025-01-01'
      formula: '0.30'

modified_adjusted_gross_income_threshold_for_taxable_year_beginning_in_calendar_year_2025

Parameter

source: 26 USC 164(b)(7)(B)(ii)(I)

- name: modified_adjusted_gross_income_threshold_for_taxable_year_beginning_in_calendar_year_2025
  kind: parameter
  dtype: Money
  unit: USD
  source: 26 USC 164(b)(7)(B)(ii)(I)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/26/164
            excerpt: in the case of any taxable year beginning in calendar year 2025, $500,000
  versions:
    - effective_from: '2025-01-01'
      formula: '500000'

modified_adjusted_gross_income_threshold_for_taxable_year_beginning_in_calendar_year_2026

Parameter

source: 26 USC 164(b)(7)(B)(ii)(II)

- name: modified_adjusted_gross_income_threshold_for_taxable_year_beginning_in_calendar_year_2026
  kind: parameter
  dtype: Money
  unit: USD
  source: 26 USC 164(b)(7)(B)(ii)(II)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/26/164
            excerpt: in the case of any taxable year beginning in calendar year 2026, $505,000
  versions:
    - effective_from: '2026-01-01'
      formula: '505000'

modified_adjusted_gross_income_threshold_annual_adjustment_factor

Parameter

source: 26 USC 164(b)(7)(B)(ii)(III)

- name: modified_adjusted_gross_income_threshold_annual_adjustment_factor
  kind: parameter
  dtype: Decimal
  source: 26 USC 164(b)(7)(B)(ii)(III)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/26/164
            excerpt: >-
              in the case of any taxable year beginning after calendar year 2026, 101 percent of the
              dollar amount in effect under this subparagraph for taxable years beginning in the
              preceding calendar year
  versions:
    - effective_from: '2027-01-01'
      formula: '1.01'

applicable_limitation_amount_phaseout_floor

Parameter

source: 26 USC 164(b)(7)(B)(iii)

- name: applicable_limitation_amount_phaseout_floor
  kind: parameter
  dtype: Money
  unit: USD
  source: 26 USC 164(b)(7)(B)(iii)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/26/164
            excerpt: shall not result in the applicable limitation amount being less than $10,000
  versions:
    - effective_from: '2025-01-01'
      formula: '10000'

married_separate_applicable_limitation_fraction

Parameter

source: 26 USC 164(b)(6)(B)

- name: married_separate_applicable_limitation_fraction
  kind: parameter
  dtype: Rate
  source: 26 USC 164(b)(6)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/26/164
            excerpt: >-
              half the applicable limitation amount in the case of a married individual filing a
              separate return
  versions:
    - effective_from: '2018-01-01'
      formula: 1 / 2

seller_real_property_tax_treated_as_imposed

Derived

source: 26 USC 164(d)

- name: seller_real_property_tax_treated_as_imposed
  kind: derived
  entity: TaxUnit
  dtype: Money
  period: Year
  unit: USD
  source: 26 USC 164(d)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/164
            excerpt: >-
              so much of the real property tax as is properly allocable to that part of such year
              which ends on the day before the date of the sale shall be treated as a tax imposed on
              the seller
  versions:
    - effective_from: '1990-01-01'
      formula: >-
        if real_property_sold_during_real_property_tax_year: max(0,
        real_property_tax_properly_allocable_to_period_before_sale) else: 0

purchaser_real_property_tax_treated_as_imposed

Derived

source: 26 USC 164(d)

- name: purchaser_real_property_tax_treated_as_imposed
  kind: derived
  entity: TaxUnit
  dtype: Money
  period: Year
  unit: USD
  source: 26 USC 164(d)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/164
            excerpt: >-
              so much of such tax as is properly allocable to that part of such year which begins on
              the date of the sale shall be treated as a tax imposed on the purchaser
  versions:
    - effective_from: '1990-01-01'
      formula: >-
        if real_property_sold_during_real_property_tax_year: max(0,
        real_property_tax_properly_allocable_to_period_beginning_on_sale_date) else: 0