loading…

us/statute/26/59/e/5 — Dispositions · Axiom

Dispositions

(A) Application of section 1254

(A)Application of section 1254#

In the case of any disposition of property to which section 1254 applies (determined without regard to this section), any deduction under paragraph (1) with respect to amounts which are allocable to such property shall, for purposes of section 1254, be treated as a deduction allowable under section 263(c), 616(a), or 617(a), whichever is appropriate.

(B)Application of section 617(d)#

In the case of any disposition of mining property to which section 617(d) applies (determined without regard to this subsection), any deduction under paragraph (1) with respect to amounts which are allocable to such property shall, for purposes of section 617(d), be treated as a deduction allowable under section 617(a).

in view

Whole section

▸rulespec code

Shown source

statutes/26/59.yaml

Displaying the canonical repository encoding.

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

View on GitHub

Rules

section_59_completed_special_rule_domain_is_satisfied

Derived

source: 26 USC 59(a), (e), (g), and (h), bounded completed-return domain

- name: section_59_completed_special_rule_domain_is_satisfied
  kind: derived
  entity: TaxUnit
  dtype: Judgment
  period: Year
  source: 26 USC 59(a), (e), (g), and (h), bounded completed-return domain
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/26/59/a/1
            excerpt: >-
              The alternative minimum tax foreign tax credit for any taxable year shall be the
              credit which would be determined under section 27
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/26/59/e
            excerpt: >-
              any qualified expenditure to which an election under this paragraph applies shall be
              allowed as a deduction ratably over the 10-year period
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/26/59/g
            excerpt: differently treated items shall be properly adjusted
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/26/59/h
            excerpt: shall be applied for purposes of computing the alternative minimum taxable income
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/26/59
  versions:
    - effective_from: '2026-01-01'
      effective_to: '2026-12-31'
      formula: |-
        (
          completed_alternative_minimum_tax_foreign_tax_credit >= 0
          and section_59_a_completed_credit_domain_is_satisfied
          and section_59_e_completed_adjustment_domain_is_satisfied
          and section_59_g_completed_adjustment_domain_is_satisfied
          and section_59_h_completed_adjustment_domain_is_satisfied
          and no_other_section_59_special_rule_affects_completed_individual_amt
        )

alternative_minimum_tax_foreign_tax_credit

Derived

source: 26 USC 59(a), guarded completed AMT foreign tax credit

- name: alternative_minimum_tax_foreign_tax_credit
  kind: derived
  entity: TaxUnit
  dtype: Money
  period: Year
  unit: USD
  source: 26 USC 59(a), guarded completed AMT foreign tax credit
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/59#section_59_completed_special_rule_domain_is_satisfied
            output: section_59_completed_special_rule_domain_is_satisfied
            hash: sha256:local
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/59/a/1
            excerpt: >-
              The alternative minimum tax foreign tax credit for any taxable year shall be the
              credit which would be determined under section 27
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/26/59/a/2
            excerpt: >-
              the term “pre-credit tentative minimum tax” means the amount determined under the
              first sentence of section 55(b)(1)(A)
  versions:
    - effective_from: '2026-01-01'
      effective_to: '2026-12-31'
      formula: |-
        if section_59_completed_special_rule_domain_is_satisfied:
          completed_alternative_minimum_tax_foreign_tax_credit
        else:
          0

section_59_e_qualified_expenditure_adjustment

Derived

source: 26 USC 59(e), guarded signed completed adjustment

- name: section_59_e_qualified_expenditure_adjustment
  kind: derived
  entity: TaxUnit
  dtype: Money
  period: Year
  unit: USD
  source: 26 USC 59(e), guarded signed completed adjustment
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/59#section_59_completed_special_rule_domain_is_satisfied
            output: section_59_completed_special_rule_domain_is_satisfied
            hash: sha256:local
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/59/e
            excerpt: >-
              any qualified expenditure to which an election under this paragraph applies shall be
              allowed as a deduction ratably over the 10-year period
  versions:
    - effective_from: '2026-01-01'
      effective_to: '2026-12-31'
      formula: |-
        if section_59_completed_special_rule_domain_is_satisfied:
          completed_section_59_e_qualified_expenditure_adjustment
        else:
          0

section_59_g_tax_benefit_rule_adjustment

Derived

source: 26 USC 59(g), guarded signed completed adjustment

- name: section_59_g_tax_benefit_rule_adjustment
  kind: derived
  entity: TaxUnit
  dtype: Money
  period: Year
  unit: USD
  source: 26 USC 59(g), guarded signed completed adjustment
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/59#section_59_completed_special_rule_domain_is_satisfied
            output: section_59_completed_special_rule_domain_is_satisfied
            hash: sha256:local
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/59/g
            excerpt: differently treated items shall be properly adjusted
  versions:
    - effective_from: '2026-01-01'
      effective_to: '2026-12-31'
      formula: |-
        if section_59_completed_special_rule_domain_is_satisfied:
          completed_section_59_g_tax_benefit_rule_adjustment
        else:
          0

section_59_h_limitation_coordination_adjustment

Derived

source: 26 USC 59(h), guarded signed completed adjustment

- name: section_59_h_limitation_coordination_adjustment
  kind: derived
  entity: TaxUnit
  dtype: Money
  period: Year
  unit: USD
  source: 26 USC 59(h), guarded signed completed adjustment
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/59#section_59_completed_special_rule_domain_is_satisfied
            output: section_59_completed_special_rule_domain_is_satisfied
            hash: sha256:local
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/59/h
            excerpt: shall be applied for purposes of computing the alternative minimum taxable income
  versions:
    - effective_from: '2026-01-01'
      effective_to: '2026-12-31'
      formula: |-
        if section_59_completed_special_rule_domain_is_satisfied:
          completed_section_59_h_limitation_coordination_adjustment
        else:
          0

section_59_j_kiddie_exemption_limit_applies

Derived

source: 26 USC 59(j)

- name: section_59_j_kiddie_exemption_limit_applies
  kind: derived
  entity: TaxUnit
  dtype: Judgment
  period: Year
  source: 26 USC 59(j)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us/statute/26/55/d/4
            excerpt: subsection (j) of section 59 shall not apply
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/26/59/j
            excerpt: In the case of a child to whom section 1(g) applies
  versions:
    - effective_from: '2018-01-01'
      formula: 'false'

▸citations (8)

References

This rule cites 8 other rules.

26 USC § 1254inferredUS Federal › Statutes › Title 26 › § 1254
26 USC § 1254inferredUS Federal › Statutes › Title 26 › § 1254
26 USC § 1254inferredUS Federal › Statutes › Title 26 › § 1254
26 USC § 263 (c)inferredUS Federal › Statutes › Title 26 › § 263 › (c)
26 USC § 617 (d)inferredUS Federal › Statutes › Title 26 › § 617 › (d)
26 USC § 617 (d)inferredUS Federal › Statutes › Title 26 › § 617 › (d)
26 USC § 617 (d)inferredUS Federal › Statutes › Title 26 › § 617 › (d)
26 USC § 617 (a)inferredUS Federal › Statutes › Title 26 › § 617 › (a)

loading…

Dispositions

Official source

(A) Application of section 1254

(A)Application of section 1254#

(B)Application of section 617(d)#

in view

Whole section

▸rulespec code

Shown source

statutes/26/59.yaml

Displaying the canonical repository encoding.

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

View on GitHub

Rules

section_59_completed_special_rule_domain_is_satisfied

Derived

source: 26 USC 59(a), (e), (g), and (h), bounded completed-return domain

- name: section_59_completed_special_rule_domain_is_satisfied
  kind: derived
  entity: TaxUnit
  dtype: Judgment
  period: Year
  source: 26 USC 59(a), (e), (g), and (h), bounded completed-return domain
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/26/59/a/1
            excerpt: >-
              The alternative minimum tax foreign tax credit for any taxable year shall be the
              credit which would be determined under section 27
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/26/59/e
            excerpt: >-
              any qualified expenditure to which an election under this paragraph applies shall be
              allowed as a deduction ratably over the 10-year period
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/26/59/g
            excerpt: differently treated items shall be properly adjusted
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/26/59/h
            excerpt: shall be applied for purposes of computing the alternative minimum taxable income
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/26/59
  versions:
    - effective_from: '2026-01-01'
      effective_to: '2026-12-31'
      formula: |-
        (
          completed_alternative_minimum_tax_foreign_tax_credit >= 0
          and section_59_a_completed_credit_domain_is_satisfied
          and section_59_e_completed_adjustment_domain_is_satisfied
          and section_59_g_completed_adjustment_domain_is_satisfied
          and section_59_h_completed_adjustment_domain_is_satisfied
          and no_other_section_59_special_rule_affects_completed_individual_amt
        )

alternative_minimum_tax_foreign_tax_credit

Derived

source: 26 USC 59(a), guarded completed AMT foreign tax credit

- name: alternative_minimum_tax_foreign_tax_credit
  kind: derived
  entity: TaxUnit
  dtype: Money
  period: Year
  unit: USD
  source: 26 USC 59(a), guarded completed AMT foreign tax credit
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/59#section_59_completed_special_rule_domain_is_satisfied
            output: section_59_completed_special_rule_domain_is_satisfied
            hash: sha256:local
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/59/a/1
            excerpt: >-
              The alternative minimum tax foreign tax credit for any taxable year shall be the
              credit which would be determined under section 27
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/26/59/a/2
            excerpt: >-
              the term “pre-credit tentative minimum tax” means the amount determined under the
              first sentence of section 55(b)(1)(A)
  versions:
    - effective_from: '2026-01-01'
      effective_to: '2026-12-31'
      formula: |-
        if section_59_completed_special_rule_domain_is_satisfied:
          completed_alternative_minimum_tax_foreign_tax_credit
        else:
          0

section_59_e_qualified_expenditure_adjustment

Derived

source: 26 USC 59(e), guarded signed completed adjustment

- name: section_59_e_qualified_expenditure_adjustment
  kind: derived
  entity: TaxUnit
  dtype: Money
  period: Year
  unit: USD
  source: 26 USC 59(e), guarded signed completed adjustment
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/59#section_59_completed_special_rule_domain_is_satisfied
            output: section_59_completed_special_rule_domain_is_satisfied
            hash: sha256:local
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/59/e
            excerpt: >-
              any qualified expenditure to which an election under this paragraph applies shall be
              allowed as a deduction ratably over the 10-year period
  versions:
    - effective_from: '2026-01-01'
      effective_to: '2026-12-31'
      formula: |-
        if section_59_completed_special_rule_domain_is_satisfied:
          completed_section_59_e_qualified_expenditure_adjustment
        else:
          0

section_59_g_tax_benefit_rule_adjustment

Derived

source: 26 USC 59(g), guarded signed completed adjustment

- name: section_59_g_tax_benefit_rule_adjustment
  kind: derived
  entity: TaxUnit
  dtype: Money
  period: Year
  unit: USD
  source: 26 USC 59(g), guarded signed completed adjustment
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/59#section_59_completed_special_rule_domain_is_satisfied
            output: section_59_completed_special_rule_domain_is_satisfied
            hash: sha256:local
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/59/g
            excerpt: differently treated items shall be properly adjusted
  versions:
    - effective_from: '2026-01-01'
      effective_to: '2026-12-31'
      formula: |-
        if section_59_completed_special_rule_domain_is_satisfied:
          completed_section_59_g_tax_benefit_rule_adjustment
        else:
          0

section_59_h_limitation_coordination_adjustment

Derived

source: 26 USC 59(h), guarded signed completed adjustment

- name: section_59_h_limitation_coordination_adjustment
  kind: derived
  entity: TaxUnit
  dtype: Money
  period: Year
  unit: USD
  source: 26 USC 59(h), guarded signed completed adjustment
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/59#section_59_completed_special_rule_domain_is_satisfied
            output: section_59_completed_special_rule_domain_is_satisfied
            hash: sha256:local
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/59/h
            excerpt: shall be applied for purposes of computing the alternative minimum taxable income
  versions:
    - effective_from: '2026-01-01'
      effective_to: '2026-12-31'
      formula: |-
        if section_59_completed_special_rule_domain_is_satisfied:
          completed_section_59_h_limitation_coordination_adjustment
        else:
          0

section_59_j_kiddie_exemption_limit_applies

Derived

source: 26 USC 59(j)

- name: section_59_j_kiddie_exemption_limit_applies
  kind: derived
  entity: TaxUnit
  dtype: Judgment
  period: Year
  source: 26 USC 59(j)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us/statute/26/55/d/4
            excerpt: subsection (j) of section 59 shall not apply
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/26/59/j
            excerpt: In the case of a child to whom section 1(g) applies
  versions:
    - effective_from: '2018-01-01'
      formula: 'false'

▸citations (8)

References

This rule cites 8 other rules.

26 USC § 1254inferredUS Federal › Statutes › Title 26 › § 1254
26 USC § 1254inferredUS Federal › Statutes › Title 26 › § 1254
26 USC § 1254inferredUS Federal › Statutes › Title 26 › § 1254
26 USC § 263 (c)inferredUS Federal › Statutes › Title 26 › § 263 › (c)
26 USC § 617 (d)inferredUS Federal › Statutes › Title 26 › § 617 › (d)
26 USC § 617 (d)inferredUS Federal › Statutes › Title 26 › § 617 › (d)
26 USC § 617 (d)inferredUS Federal › Statutes › Title 26 › § 617 › (d)
26 USC § 617 (a)inferredUS Federal › Statutes › Title 26 › § 617 › (a)