loading…

Old-age insurance benefits

2 rules0 of 3 subsections

Every individual who—

(1)

(1)#

is a fully insured individual (as defined in section 414(a) of this title ),

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

Encodings · 2

old_age_insurance_benefit_minimum_age_years42 USC § 402 (a) · parameter

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'

open in graph ↗

individual_is_entitled_to_old_age_insurance_benefit42 USC § 402 (a) · derived

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
      )

open in graph ↗

▸rulespec code

Shown source

statutes/42/402/a.yaml

Displaying the canonical repository encoding.

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 (5)

References

This rule cites 5 other rules.

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

loading…

us/statute/42/402/a — Old-age insurance benefits · Axiom

Old-age insurance benefits

2 rules0 of 3 subsections

Official source

graph ↗build calculator ↗

Every individual who—

(1)

(1)#

is a fully insured individual (as defined in section 414(a) of this title ),

(2)#

has attained age 62, and

(3)#

in view

Whole section

Encodings · 2

old_age_insurance_benefit_minimum_age_years42 USC § 402 (a) · parameter

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'

open in graph ↗

individual_is_entitled_to_old_age_insurance_benefit42 USC § 402 (a) · derived

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
      )

open in graph ↗

▸rulespec code

Shown source

statutes/42/402/a.yaml

Displaying the canonical repository encoding.

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 (5)

References

This rule cites 5 other rules.

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