us/statute/42/402/a/3

loading…

has filed application for old-age insurance benefits or was entitled to disability insurance benefits for the month preceding the month in which he attained retirement age (as defined in section 416( l ) of this title),

in view

Whole section

▸rulespec code

Shown source

statutes/42/402/a.yaml

Displaying the canonical repository encoding.

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

View on GitHub

Rules

old_age_insurance_benefit_minimum_age_years

Parameter

source: 42 USC 402(a)(2)

- name: old_age_insurance_benefit_minimum_age_years
  kind: parameter
  dtype: Integer
  unit: years
  source: 42 USC 402(a)(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/402/a/2
            excerpt: has attained age 62
  versions:
    - effective_from: '1961-01-01'
      formula: '62'

individual_is_entitled_to_old_age_insurance_benefit

Derived

source: 42 USC 402(a)

- name: individual_is_entitled_to_old_age_insurance_benefit
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 42 USC 402(a)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/402/a/1
            excerpt: is a fully insured individual (as defined in section 414(a) of this title )
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/402/a/2
            excerpt: has attained age 62
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/402/a/3
            excerpt: has filed application for old-age insurance benefits
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/402/a/3
            excerpt: >-
              was entitled to disability insurance benefits for the month preceding the month in
              which he attained retirement age
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/42/402/a
            excerpt: shall be entitled to an old-age insurance benefit for each month
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/a#old_age_insurance_benefit_minimum_age_years
            output: old_age_insurance_benefit_minimum_age_years
            hash: sha256:local
  versions:
    - effective_from: '1961-01-01'
      formula: |-
        individual_is_fully_insured
        and age >= old_age_insurance_benefit_minimum_age_years
        and (
          individual_has_filed_application_for_old_age_insurance_benefits
          or individual_was_entitled_to_disability_insurance_benefits_for_month_before_attaining_retirement_age
        )

▸citations (1)

References

This rule cites 1 other rule.

42 USC § 416 (l)inferredUS Federal › Statutes › Title 42 › § 416 › (l)