loading…

In general

The term “premium assistance credit amount” means, with respect to any taxable year, the sum of the premium assistance amounts determined under paragraph (2) with respect to all coverage months of the taxpayer occurring during the taxable year.

in view

Whole section

▸rulespec code

Shown source

statutes/26/36B/b.yaml

Displaying the canonical repository encoding.

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

View on GitHub

Rules

Data relation coverage_months

#coverage_months

Data Relation

source: 26 USC 36B(b)(1)
predicate: coverage_months
arity: 2

- name: coverage_months
  kind: data_relation
  source: 26 USC 36B(b)(1)
  data_relation:
    predicate: coverage_months
    arity: 2
    arguments:
      - TaxUnit
      - CoverageMonth

required_contribution_annual_to_monthly_divisor

Parameter

source: 26 USC 36B(b)(2)(B)(ii)

- name: required_contribution_annual_to_monthly_divisor
  kind: parameter
  dtype: Decimal
  source: 26 USC 36B(b)(2)(B)(ii)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/26/36B
            excerpt: 1/12 of the product
  versions:
    - effective_from: '1990-01-01'
      formula: '12'

required_monthly_contribution

Derived

source: 26 USC 36B(b)(2)(B)(ii)

- name: required_monthly_contribution
  kind: derived
  entity: TaxUnit
  dtype: Money
  period: Month
  unit: USD
  source: 26 USC 36B(b)(2)(B)(ii)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/36B
            excerpt: 1/12 of the product
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/36B/b#required_contribution_annual_to_monthly_divisor
            output: required_contribution_annual_to_monthly_divisor
            hash: sha256:local
  versions:
    - effective_from: '1990-01-01'
      formula: >-
        (household_income_for_taxable_year / required_contribution_annual_to_monthly_divisor) *
        applicable_percentage_for_taxable_year

premium_assistance_amount

Derived

source: 26 USC 36B(b)(2)

- name: premium_assistance_amount
  kind: derived
  entity: TaxUnit
  dtype: Money
  period: Month
  unit: USD
  source: 26 USC 36B(b)(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/36B
            excerpt: lesser of
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/36B
            excerpt: excess (if any)
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/36B/b#required_monthly_contribution
            output: required_monthly_contribution
            hash: sha256:local
  versions:
    - effective_from: '1990-01-01'
      formula: >-
        min(max(0,
        monthly_premiums_for_exchange_qualified_health_plans_covering_taxpayer_spouse_or_dependents),
        max(0, adjusted_monthly_premium_for_applicable_second_lowest_cost_silver_plan -
        required_monthly_contribution))

premium_assistance_credit_amount

Derived

source: paragraph (1)

- name: premium_assistance_credit_amount
  kind: derived
  entity: TaxUnit
  dtype: Money
  period: Year
  unit: USD
  source: paragraph (1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/36B
            excerpt: sum of the premium assistance amounts
  versions:
    - effective_from: '1990-01-01'
      formula: sum(coverage_months.premium_assistance_amount_determined_for_coverage_month)

loading…

us/statute/26/36B/b/1 — In general · Axiom

In general

Official source

in view

Whole section

▸rulespec code

Shown source

statutes/26/36B/b.yaml

Displaying the canonical repository encoding.

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

View on GitHub

Rules

Data relation coverage_months

#coverage_months

Data Relation

source: 26 USC 36B(b)(1)
predicate: coverage_months
arity: 2

- name: coverage_months
  kind: data_relation
  source: 26 USC 36B(b)(1)
  data_relation:
    predicate: coverage_months
    arity: 2
    arguments:
      - TaxUnit
      - CoverageMonth

required_contribution_annual_to_monthly_divisor

Parameter

source: 26 USC 36B(b)(2)(B)(ii)

- name: required_contribution_annual_to_monthly_divisor
  kind: parameter
  dtype: Decimal
  source: 26 USC 36B(b)(2)(B)(ii)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/26/36B
            excerpt: 1/12 of the product
  versions:
    - effective_from: '1990-01-01'
      formula: '12'

required_monthly_contribution

Derived

source: 26 USC 36B(b)(2)(B)(ii)

- name: required_monthly_contribution
  kind: derived
  entity: TaxUnit
  dtype: Money
  period: Month
  unit: USD
  source: 26 USC 36B(b)(2)(B)(ii)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/36B
            excerpt: 1/12 of the product
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/36B/b#required_contribution_annual_to_monthly_divisor
            output: required_contribution_annual_to_monthly_divisor
            hash: sha256:local
  versions:
    - effective_from: '1990-01-01'
      formula: >-
        (household_income_for_taxable_year / required_contribution_annual_to_monthly_divisor) *
        applicable_percentage_for_taxable_year

premium_assistance_amount

Derived

source: 26 USC 36B(b)(2)

- name: premium_assistance_amount
  kind: derived
  entity: TaxUnit
  dtype: Money
  period: Month
  unit: USD
  source: 26 USC 36B(b)(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/36B
            excerpt: lesser of
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/36B
            excerpt: excess (if any)
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/36B/b#required_monthly_contribution
            output: required_monthly_contribution
            hash: sha256:local
  versions:
    - effective_from: '1990-01-01'
      formula: >-
        min(max(0,
        monthly_premiums_for_exchange_qualified_health_plans_covering_taxpayer_spouse_or_dependents),
        max(0, adjusted_monthly_premium_for_applicable_second_lowest_cost_silver_plan -
        required_monthly_contribution))

premium_assistance_credit_amount

Derived

source: paragraph (1)

- name: premium_assistance_credit_amount
  kind: derived
  entity: TaxUnit
  dtype: Money
  period: Year
  unit: USD
  source: paragraph (1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/36B
            excerpt: sum of the premium assistance amounts
  versions:
    - effective_from: '1990-01-01'
      formula: sum(coverage_months.premium_assistance_amount_determined_for_coverage_month)