us/statute/42/415/i/3

loading…

As used in this subsection, the term “general benefit increase under this subchapter” means an increase (other than an increase under this subsection) in all primary insurance amounts on which monthly insurance benefits under this subchapter are based.

in view

Whole section

▸rulespec code

Shown source

statutes/42/415/i.yaml

Displaying the canonical repository encoding.

This encoding covers the parent provision us/statute/42/415/i; no dedicated encoding exists for this exact provision yet.

View on GitHub

Rules

cola_pia_rounding_multiple

Parameter

source: 42 USC 415(i)(2)(A)(ii)

- name: cola_pia_rounding_multiple
  kind: parameter
  dtype: Money
  unit: USD
  source: 42 USC 415(i)(2)(A)(ii)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/415/i/2
            excerpt: not a multiple of $0.10
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/415/i/2
            excerpt: decreased to the next lower multiple of $0.10
  versions:
    - effective_from: '1975-01-01'
      formula: '0.10'

unrounded_pia_after_cost_of_living_increase

Derived

source: 42 USC 415(i)(2)(A)(ii)

- name: unrounded_pia_after_cost_of_living_increase
  kind: derived
  entity: Person
  dtype: Money
  period: Year
  unit: USD
  source: 42 USC 415(i)(2)(A)(ii)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/415/i/2
            excerpt: determines that the base quarter in any year is a cost-of-living computation quarter
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/415/i/2
            excerpt: the primary insurance amount of each other individual
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/415/i/2
            excerpt: by multiplying each of the amounts described
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/415/i/2
            excerpt: by the applicable increase percentage
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/415/a#primary_insurance_amount
            output: primary_insurance_amount
            hash: sha256:bf244b9460ead81724d135bb1f806a1ffb45ebc2e04bfdc33f1175ea28357221
  versions:
    - effective_from: '1975-01-01'
      formula: |-
        primary_insurance_amount
        * (1 + cola_applicable_increase_percentage)

primary_insurance_amount_after_cost_of_living_increase

Derived

source: 42 USC 415(i)(2)(A)(ii)

- name: primary_insurance_amount_after_cost_of_living_increase
  kind: derived
  entity: Person
  dtype: Money
  period: Year
  unit: USD
  source: 42 USC 415(i)(2)(A)(ii)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/415/i/2
            excerpt: any amount so increased that is not a multiple of $0.10
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/415/i/2
            excerpt: shall be decreased to the next lower multiple of $0.10
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/415/i#unrounded_pia_after_cost_of_living_increase
            output: unrounded_pia_after_cost_of_living_increase
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/415/i#cola_pia_rounding_multiple
            output: cola_pia_rounding_multiple
            hash: sha256:local
  versions:
    - effective_from: '1975-01-01'
      formula: >-
        floor(unrounded_pia_after_cost_of_living_increase / cola_pia_rounding_multiple) *
        cola_pia_rounding_multiple

loading…

us/statute/42/415/i/3 · Axiom

Official source

in view

Whole section

▸rulespec code

Shown source

statutes/42/415/i.yaml

Displaying the canonical repository encoding.

This encoding covers the parent provision us/statute/42/415/i; no dedicated encoding exists for this exact provision yet.

View on GitHub

Rules

cola_pia_rounding_multiple

Parameter

source: 42 USC 415(i)(2)(A)(ii)

- name: cola_pia_rounding_multiple
  kind: parameter
  dtype: Money
  unit: USD
  source: 42 USC 415(i)(2)(A)(ii)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/415/i/2
            excerpt: not a multiple of $0.10
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/415/i/2
            excerpt: decreased to the next lower multiple of $0.10
  versions:
    - effective_from: '1975-01-01'
      formula: '0.10'

unrounded_pia_after_cost_of_living_increase

Derived

source: 42 USC 415(i)(2)(A)(ii)

- name: unrounded_pia_after_cost_of_living_increase
  kind: derived
  entity: Person
  dtype: Money
  period: Year
  unit: USD
  source: 42 USC 415(i)(2)(A)(ii)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/415/i/2
            excerpt: determines that the base quarter in any year is a cost-of-living computation quarter
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/415/i/2
            excerpt: the primary insurance amount of each other individual
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/415/i/2
            excerpt: by multiplying each of the amounts described
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/415/i/2
            excerpt: by the applicable increase percentage
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/415/a#primary_insurance_amount
            output: primary_insurance_amount
            hash: sha256:bf244b9460ead81724d135bb1f806a1ffb45ebc2e04bfdc33f1175ea28357221
  versions:
    - effective_from: '1975-01-01'
      formula: |-
        primary_insurance_amount
        * (1 + cola_applicable_increase_percentage)

primary_insurance_amount_after_cost_of_living_increase

Derived

source: 42 USC 415(i)(2)(A)(ii)

- name: primary_insurance_amount_after_cost_of_living_increase
  kind: derived
  entity: Person
  dtype: Money
  period: Year
  unit: USD
  source: 42 USC 415(i)(2)(A)(ii)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/415/i/2
            excerpt: any amount so increased that is not a multiple of $0.10
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/415/i/2
            excerpt: shall be decreased to the next lower multiple of $0.10
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/415/i#unrounded_pia_after_cost_of_living_increase
            output: unrounded_pia_after_cost_of_living_increase
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/415/i#cola_pia_rounding_multiple
            output: cola_pia_rounding_multiple
            hash: sha256:local
  versions:
    - effective_from: '1975-01-01'
      formula: >-
        floor(unrounded_pia_after_cost_of_living_increase / cola_pia_rounding_multiple) *
        cola_pia_rounding_multiple