us/statute/42/402/q/11

loading…

When an individual is entitled to more than one monthly benefit under this subchapter and one or more of such benefits are reduced under this subsection, paragraph (10) shall apply separately to each such benefit reduced under this subsection before the application of subsection (k) (pertaining to the method by which monthly benefits are offset when an individual is entitled to more than one kind of benefit) and the application of this paragraph shall operate in conjunction with paragraph (3).

in view

Whole section

▸rulespec code

Shown source

statutes/42/402/q.yaml

Displaying the canonical repository encoding.

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

View on GitHub

Rules

old_age_first_tier_reduction_month_limit

Parameter

source: 42 USC 402(q)(9)(A)

- name: old_age_first_tier_reduction_month_limit
  kind: parameter
  dtype: Integer
  unit: months
  source: 42 USC 402(q)(9)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: for the first 36 months
  versions:
    - effective_from: '1983-01-01'
      formula: '36'

old_age_reduction_one_percent_as_rate

Parameter

source: 42 USC 402(q)(1)(A)

- name: old_age_reduction_one_percent_as_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 402(q)(1)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: of 1 percent of such amount
  versions:
    - effective_from: '1983-01-01'
      formula: '0.01'

old_age_first_tier_reduction_percent_numerator

Parameter

source: 42 USC 402(q)(1)(A)

- name: old_age_first_tier_reduction_percent_numerator
  kind: parameter
  dtype: Integer
  source: 42 USC 402(q)(1)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: 5 ⁄ 9 of 1 percent of such amount
  versions:
    - effective_from: '1983-01-01'
      formula: '5'

old_age_first_tier_reduction_percent_denominator

Parameter

source: 42 USC 402(q)(1)(A)

- name: old_age_first_tier_reduction_percent_denominator
  kind: parameter
  dtype: Integer
  source: 42 USC 402(q)(1)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: 5 ⁄ 9 of 1 percent of such amount
  versions:
    - effective_from: '1983-01-01'
      formula: '9'

old_age_additional_reduction_percent_numerator

Parameter

source: 42 USC 402(q)(9)(A)

- name: old_age_additional_reduction_percent_numerator
  kind: parameter
  dtype: Integer
  source: 42 USC 402(q)(9)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: five-twelfths of 1 percent
  versions:
    - effective_from: '1983-01-01'
      formula: '5'

old_age_additional_reduction_percent_denominator

Parameter

source: 42 USC 402(q)(9)(A)

- name: old_age_additional_reduction_percent_denominator
  kind: parameter
  dtype: Integer
  source: 42 USC 402(q)(9)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: five-twelfths of 1 percent
  versions:
    - effective_from: '1983-01-01'
      formula: '12'

old_age_reduction_rounding_multiple

Parameter

source: 42 USC 402(q)(8)

- name: old_age_reduction_rounding_multiple
  kind: parameter
  dtype: Money
  unit: USD
  source: 42 USC 402(q)(8)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: is not a multiple of $0.10
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: increased to the next higher multiple of $0.10
  versions:
    - effective_from: '1983-01-01'
      formula: '0.10'

old_age_early_claiming_reduction_months

Derived

source: 42 USC 402(q)(1), 402(q)(6)

- name: old_age_early_claiming_reduction_months
  kind: derived
  entity: Person
  dtype: Integer
  period: Month
  source: 42 USC 402(q)(1), 402(q)(6)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: before the month in which such individual attains retirement age
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: >-
              ending with the last day of the month before the month in which such individual
              attains retirement age
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/416/l#retirement_age_total_months
            output: retirement_age_total_months
            hash: sha256:c49ec29f4805607b10cceb210c1dc444f63efd37e0f692c51ac534855f44820a
  versions:
    - effective_from: '1983-01-01'
      formula: max(0, retirement_age_total_months - old_age_benefit_entitlement_age_total_months)

old_age_first_tier_reduction_months

Derived

source: 42 USC 402(q)(9)(A)

- name: old_age_first_tier_reduction_months
  kind: derived
  entity: Person
  dtype: Integer
  period: Month
  source: 42 USC 402(q)(9)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: for the first 36 months of the reduction period
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/q#old_age_first_tier_reduction_month_limit
            output: old_age_first_tier_reduction_month_limit
            hash: sha256:local
  versions:
    - effective_from: '1983-01-01'
      formula: min(old_age_early_claiming_reduction_months, old_age_first_tier_reduction_month_limit)

old_age_additional_reduction_months

Derived

source: 42 USC 402(q)(9)(A)

- name: old_age_additional_reduction_months
  kind: derived
  entity: Person
  dtype: Integer
  period: Month
  source: 42 USC 402(q)(9)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: for any additional months included in such periods
  versions:
    - effective_from: '1983-01-01'
      formula: max(0, old_age_early_claiming_reduction_months - old_age_first_tier_reduction_month_limit)

old_age_early_claiming_reduction_rate

Derived

source: 42 USC 402(q)(1)(A), 402(q)(9)(A)

- name: old_age_early_claiming_reduction_rate
  kind: derived
  entity: Person
  dtype: Rate
  period: Month
  source: 42 USC 402(q)(1)(A), 402(q)(9)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: multiplied by the number of months in the reduction period
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: five-twelfths of 1 percent for any additional months
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/q#old_age_first_tier_reduction_percent_numerator
            output: old_age_first_tier_reduction_percent_numerator
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/q#old_age_first_tier_reduction_percent_denominator
            output: old_age_first_tier_reduction_percent_denominator
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/q#old_age_additional_reduction_percent_numerator
            output: old_age_additional_reduction_percent_numerator
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/q#old_age_additional_reduction_percent_denominator
            output: old_age_additional_reduction_percent_denominator
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/q#old_age_reduction_one_percent_as_rate
            output: old_age_reduction_one_percent_as_rate
            hash: sha256:local
  versions:
    - effective_from: '1983-01-01'
      formula: |-
        old_age_first_tier_reduction_months
        * old_age_first_tier_reduction_percent_numerator
        * old_age_reduction_one_percent_as_rate
        / old_age_first_tier_reduction_percent_denominator
        + old_age_additional_reduction_months
        * old_age_additional_reduction_percent_numerator
        * old_age_reduction_one_percent_as_rate
        / old_age_additional_reduction_percent_denominator

unrounded_old_age_early_claiming_reduction_amount

Derived

source: 42 USC 402(q)(1)(A)

- name: unrounded_old_age_early_claiming_reduction_amount
  kind: derived
  entity: Person
  dtype: Money
  period: Month
  unit: USD
  source: 42 USC 402(q)(1)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: reduced by
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: of such amount
  versions:
    - effective_from: '1983-01-01'
      formula: |-
        old_age_insurance_benefit_before_section_402_q_reduction
        * old_age_early_claiming_reduction_rate

old_age_early_claiming_reduction_amount

Derived

source: 42 USC 402(q)(8)

- name: old_age_early_claiming_reduction_amount
  kind: derived
  entity: Person
  dtype: Money
  period: Month
  unit: USD
  source: 42 USC 402(q)(8)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: >-
              If the amount of any reduction computed under paragraph (1), (2), or (3) is not a
              multiple of $0.10
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: it shall be increased to the next higher multiple of $0.10
  versions:
    - effective_from: '1983-01-01'
      formula: >-
        ceil(unrounded_old_age_early_claiming_reduction_amount /
        old_age_reduction_rounding_multiple) * old_age_reduction_rounding_multiple

old_age_insurance_benefit_after_early_claiming_reduction

Derived

source: 42 USC 402(q)(1)

- name: old_age_insurance_benefit_after_early_claiming_reduction
  kind: derived
  entity: Person
  dtype: Money
  period: Month
  unit: USD
  source: 42 USC 402(q)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: >-
              the amount of such benefit for such month and for any subsequent month shall ... be
              reduced
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/q#old_age_early_claiming_reduction_amount
            output: old_age_early_claiming_reduction_amount
            hash: sha256:local
  versions:
    - effective_from: '1983-01-01'
      formula: |-
        max(
            0,
            old_age_insurance_benefit_before_section_402_q_reduction
            - old_age_early_claiming_reduction_amount
        )

loading…

us/statute/42/402/q/11 · Axiom

Official source

in view

Whole section

▸rulespec code

Shown source

statutes/42/402/q.yaml

Displaying the canonical repository encoding.

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

View on GitHub

Rules

old_age_first_tier_reduction_month_limit

Parameter

source: 42 USC 402(q)(9)(A)

- name: old_age_first_tier_reduction_month_limit
  kind: parameter
  dtype: Integer
  unit: months
  source: 42 USC 402(q)(9)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: for the first 36 months
  versions:
    - effective_from: '1983-01-01'
      formula: '36'

old_age_reduction_one_percent_as_rate

Parameter

source: 42 USC 402(q)(1)(A)

- name: old_age_reduction_one_percent_as_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 402(q)(1)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: of 1 percent of such amount
  versions:
    - effective_from: '1983-01-01'
      formula: '0.01'

old_age_first_tier_reduction_percent_numerator

Parameter

source: 42 USC 402(q)(1)(A)

- name: old_age_first_tier_reduction_percent_numerator
  kind: parameter
  dtype: Integer
  source: 42 USC 402(q)(1)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: 5 ⁄ 9 of 1 percent of such amount
  versions:
    - effective_from: '1983-01-01'
      formula: '5'

old_age_first_tier_reduction_percent_denominator

Parameter

source: 42 USC 402(q)(1)(A)

- name: old_age_first_tier_reduction_percent_denominator
  kind: parameter
  dtype: Integer
  source: 42 USC 402(q)(1)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: 5 ⁄ 9 of 1 percent of such amount
  versions:
    - effective_from: '1983-01-01'
      formula: '9'

old_age_additional_reduction_percent_numerator

Parameter

source: 42 USC 402(q)(9)(A)

- name: old_age_additional_reduction_percent_numerator
  kind: parameter
  dtype: Integer
  source: 42 USC 402(q)(9)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: five-twelfths of 1 percent
  versions:
    - effective_from: '1983-01-01'
      formula: '5'

old_age_additional_reduction_percent_denominator

Parameter

source: 42 USC 402(q)(9)(A)

- name: old_age_additional_reduction_percent_denominator
  kind: parameter
  dtype: Integer
  source: 42 USC 402(q)(9)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: five-twelfths of 1 percent
  versions:
    - effective_from: '1983-01-01'
      formula: '12'

old_age_reduction_rounding_multiple

Parameter

source: 42 USC 402(q)(8)

- name: old_age_reduction_rounding_multiple
  kind: parameter
  dtype: Money
  unit: USD
  source: 42 USC 402(q)(8)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: is not a multiple of $0.10
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: increased to the next higher multiple of $0.10
  versions:
    - effective_from: '1983-01-01'
      formula: '0.10'

old_age_early_claiming_reduction_months

Derived

source: 42 USC 402(q)(1), 402(q)(6)

- name: old_age_early_claiming_reduction_months
  kind: derived
  entity: Person
  dtype: Integer
  period: Month
  source: 42 USC 402(q)(1), 402(q)(6)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: before the month in which such individual attains retirement age
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: >-
              ending with the last day of the month before the month in which such individual
              attains retirement age
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/416/l#retirement_age_total_months
            output: retirement_age_total_months
            hash: sha256:c49ec29f4805607b10cceb210c1dc444f63efd37e0f692c51ac534855f44820a
  versions:
    - effective_from: '1983-01-01'
      formula: max(0, retirement_age_total_months - old_age_benefit_entitlement_age_total_months)

old_age_first_tier_reduction_months

Derived

source: 42 USC 402(q)(9)(A)

- name: old_age_first_tier_reduction_months
  kind: derived
  entity: Person
  dtype: Integer
  period: Month
  source: 42 USC 402(q)(9)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: for the first 36 months of the reduction period
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/q#old_age_first_tier_reduction_month_limit
            output: old_age_first_tier_reduction_month_limit
            hash: sha256:local
  versions:
    - effective_from: '1983-01-01'
      formula: min(old_age_early_claiming_reduction_months, old_age_first_tier_reduction_month_limit)

old_age_additional_reduction_months

Derived

source: 42 USC 402(q)(9)(A)

- name: old_age_additional_reduction_months
  kind: derived
  entity: Person
  dtype: Integer
  period: Month
  source: 42 USC 402(q)(9)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: for any additional months included in such periods
  versions:
    - effective_from: '1983-01-01'
      formula: max(0, old_age_early_claiming_reduction_months - old_age_first_tier_reduction_month_limit)

old_age_early_claiming_reduction_rate

Derived

source: 42 USC 402(q)(1)(A), 402(q)(9)(A)

- name: old_age_early_claiming_reduction_rate
  kind: derived
  entity: Person
  dtype: Rate
  period: Month
  source: 42 USC 402(q)(1)(A), 402(q)(9)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: multiplied by the number of months in the reduction period
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: five-twelfths of 1 percent for any additional months
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/q#old_age_first_tier_reduction_percent_numerator
            output: old_age_first_tier_reduction_percent_numerator
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/q#old_age_first_tier_reduction_percent_denominator
            output: old_age_first_tier_reduction_percent_denominator
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/q#old_age_additional_reduction_percent_numerator
            output: old_age_additional_reduction_percent_numerator
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/q#old_age_additional_reduction_percent_denominator
            output: old_age_additional_reduction_percent_denominator
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/q#old_age_reduction_one_percent_as_rate
            output: old_age_reduction_one_percent_as_rate
            hash: sha256:local
  versions:
    - effective_from: '1983-01-01'
      formula: |-
        old_age_first_tier_reduction_months
        * old_age_first_tier_reduction_percent_numerator
        * old_age_reduction_one_percent_as_rate
        / old_age_first_tier_reduction_percent_denominator
        + old_age_additional_reduction_months
        * old_age_additional_reduction_percent_numerator
        * old_age_reduction_one_percent_as_rate
        / old_age_additional_reduction_percent_denominator

unrounded_old_age_early_claiming_reduction_amount

Derived

source: 42 USC 402(q)(1)(A)

- name: unrounded_old_age_early_claiming_reduction_amount
  kind: derived
  entity: Person
  dtype: Money
  period: Month
  unit: USD
  source: 42 USC 402(q)(1)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: reduced by
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: of such amount
  versions:
    - effective_from: '1983-01-01'
      formula: |-
        old_age_insurance_benefit_before_section_402_q_reduction
        * old_age_early_claiming_reduction_rate

old_age_early_claiming_reduction_amount

Derived

source: 42 USC 402(q)(8)

- name: old_age_early_claiming_reduction_amount
  kind: derived
  entity: Person
  dtype: Money
  period: Month
  unit: USD
  source: 42 USC 402(q)(8)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: >-
              If the amount of any reduction computed under paragraph (1), (2), or (3) is not a
              multiple of $0.10
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: it shall be increased to the next higher multiple of $0.10
  versions:
    - effective_from: '1983-01-01'
      formula: >-
        ceil(unrounded_old_age_early_claiming_reduction_amount /
        old_age_reduction_rounding_multiple) * old_age_reduction_rounding_multiple

old_age_insurance_benefit_after_early_claiming_reduction

Derived

source: 42 USC 402(q)(1)

- name: old_age_insurance_benefit_after_early_claiming_reduction
  kind: derived
  entity: Person
  dtype: Money
  period: Month
  unit: USD
  source: 42 USC 402(q)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/q
            excerpt: >-
              the amount of such benefit for such month and for any subsequent month shall ... be
              reduced
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/q#old_age_early_claiming_reduction_amount
            output: old_age_early_claiming_reduction_amount
            hash: sha256:local
  versions:
    - effective_from: '1983-01-01'
      formula: |-
        max(
            0,
            old_age_insurance_benefit_before_section_402_q_reduction
            - old_age_early_claiming_reduction_amount
        )