loading…

Individuals over 65 years

4 rulesAll 2 subsections

Official source

graph ↗build calculator ↗

Every individual who—

(1)

(1)∀ 2#

has attained age 65, and

(2)∀ 1#

(A) is entitled to monthly insurance benefits under section 402 of this title , would be entitled to those benefits except that he has not filed an application therefor (or application has not been made for a benefit the entitlement to which for any individual is a condition of entitlement therefor), or would be entitled to such benefits but for the failure of another individual, who meets all the criteria of entitlement to monthly insurance benefits, to meet such criteria throughout a month, and, in conformity with regulations of the Secretary, files an application for hospital insurance benefits under part A of subchapter XVIII,

(B) is a qualified railroad retirement beneficiary, or

(C) (i) would meet the requirements of subparagraph (A) upon filing application for the monthly insurance benefits involved if medicare qualified government employment (as defined in section 410(p) of this title ) were treated as employment (as defined in section 410(a) of this title ) for purposes of this subchapter, and (ii) files an application, in conformity with regulations of the Secretary, for hospital insurance benefits under part A of subchapter XVIII,

in view

Whole section

Encodings · 4

hospital_insurance_entitlement_age_and_railroad_path42 USC § 426 (a) · derived

42 U.S.C. 426(a)

name: hospital_insurance_entitlement_age_and_railroad_path
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 42 U.S.C. 426(a)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/426/a
          excerpt: has attained age 65
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/426/a
          excerpt: is a qualified railroad retirement beneficiary
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/426/a
          excerpt: beginning with the first month after June 1966
      - path: versions[0].formula
        kind: import
        import:
          target: us:statutes/42/426/a/1#attained_age_65_requirement_satisfied
          output: attained_age_65_requirement_satisfied
          hash: >-
            sha256:2af89360acacfd1b386436af06a134225d36a1987ecf7e64bad1c1b9d761b624
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us:statutes/42/426/a/2#railroad_retirement_beneficiary_alternative_satisfied
          output: railroad_retirement_beneficiary_alternative_satisfied
          hash: >-
            sha256:2260cff7d08ef694ba1e43fea07cbeece8dab5f94cceb12f26efa496681d1281
versions:
  - effective_from: '1974-01-01'
    formula: |-
      attained_age_65_requirement_satisfied
      and railroad_retirement_beneficiary_alternative_satisfied
      and current_month_is_after_june_1966

open in graph ↗

attained_age_threshold42 USC § 426 (a) (1) · parameter

42 USC 426(a)(1)

name: attained_age_threshold
kind: parameter
dtype: Count
source: 42 USC 426(a)(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us/statute/42/426/a/1
          excerpt: age 65
versions:
  - effective_from: '1974-01-01'
    formula: '65'

open in graph ↗

attained_age_65_requirement_satisfied42 USC § 426 (a) (1) · derived

42 USC 426(a)(1)

name: attained_age_65_requirement_satisfied
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 42 USC 426(a)(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/426/a/1
          excerpt: has attained age 65
versions:
  - effective_from: '1974-01-01'
    formula: age >= attained_age_threshold

open in graph ↗

railroad_retirement_beneficiary_alternative_satisfied42 USC § 426 (a) (2) · derived

42 U.S.C. 426(a)(2)(B)

name: railroad_retirement_beneficiary_alternative_satisfied
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 42 U.S.C. 426(a)(2)(B)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/426/a/2
          excerpt: is a qualified railroad retirement beneficiary
      - path: versions[0].formula
        kind: import
        import:
          target: us:statutes/42/426/d#qualified_railroad_retirement_beneficiary
          output: qualified_railroad_retirement_beneficiary
          hash: >-
            sha256:b4b96c121a0b8e4ae9c9b36e4c868e6d107154cf9ab856e67866c5eeeb25d970
versions:
  - effective_from: '1974-01-01'
    formula: qualified_railroad_retirement_beneficiary

open in graph ↗

▸rulespec code

Shown source

statutes/42/426/a

Displaying the canonical repository encoding.

View on GitHub

Rules

hospital_insurance_entitlement_age_and_railroad_path

Derived

source: 42 U.S.C. 426(a)

- name: hospital_insurance_entitlement_age_and_railroad_path
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 42 U.S.C. 426(a)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/426/a
            excerpt: has attained age 65
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/426/a
            excerpt: is a qualified railroad retirement beneficiary
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/426/a
            excerpt: beginning with the first month after June 1966
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/426/a/1#attained_age_65_requirement_satisfied
            output: attained_age_65_requirement_satisfied
            hash: sha256:2af89360acacfd1b386436af06a134225d36a1987ecf7e64bad1c1b9d761b624
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/426/a/2#railroad_retirement_beneficiary_alternative_satisfied
            output: railroad_retirement_beneficiary_alternative_satisfied
            hash: sha256:2260cff7d08ef694ba1e43fea07cbeece8dab5f94cceb12f26efa496681d1281
  versions:
    - effective_from: '1974-01-01'
      formula: |-
        attained_age_65_requirement_satisfied
        and railroad_retirement_beneficiary_alternative_satisfied
        and current_month_is_after_june_1966

attained_age_threshold

Parameter(1) in text ↖

source: 42 USC 426(a)(1)

- name: attained_age_threshold
  kind: parameter
  dtype: Count
  source: 42 USC 426(a)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/426/a/1
            excerpt: age 65
  versions:
    - effective_from: '1974-01-01'
      formula: '65'

attained_age_65_requirement_satisfied

Derived(1) in text ↖

source: 42 USC 426(a)(1)

- name: attained_age_65_requirement_satisfied
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 42 USC 426(a)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/426/a/1
            excerpt: has attained age 65
  versions:
    - effective_from: '1974-01-01'
      formula: age >= attained_age_threshold

railroad_retirement_beneficiary_alternative_satisfied

Derived(2) in text ↖

source: 42 U.S.C. 426(a)(2)(B)

- name: railroad_retirement_beneficiary_alternative_satisfied
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 42 U.S.C. 426(a)(2)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/426/a/2
            excerpt: is a qualified railroad retirement beneficiary
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/426/d#qualified_railroad_retirement_beneficiary
            output: qualified_railroad_retirement_beneficiary
            hash: sha256:b4b96c121a0b8e4ae9c9b36e4c868e6d107154cf9ab856e67866c5eeeb25d970
  versions:
    - effective_from: '1974-01-01'
      formula: qualified_railroad_retirement_beneficiary

▸citations (3)

References

This rule cites 3 other rules.

42 USC § 402inferredUS Federal › Statutes › Title 42 › § 402
42 USC § 410 (p)inferredUS Federal › Statutes › Title 42 › § 410 › (p)
42 USC § 410 (a)inferredUS Federal › Statutes › Title 42 › § 410 › (a)

loading…

us/statute/42/426/a — Individuals over 65 years · Axiom

Individuals over 65 years

4 rulesAll 2 subsections

Official source

graph ↗build calculator ↗

Every individual who—

(1)

(1)∀ 2#

has attained age 65, and

(2)∀ 1#

(B) is a qualified railroad retirement beneficiary, or

in view

Whole section

Encodings · 4

hospital_insurance_entitlement_age_and_railroad_path42 USC § 426 (a) · derived

42 U.S.C. 426(a)

name: hospital_insurance_entitlement_age_and_railroad_path
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 42 U.S.C. 426(a)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/426/a
          excerpt: has attained age 65
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/426/a
          excerpt: is a qualified railroad retirement beneficiary
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/426/a
          excerpt: beginning with the first month after June 1966
      - path: versions[0].formula
        kind: import
        import:
          target: us:statutes/42/426/a/1#attained_age_65_requirement_satisfied
          output: attained_age_65_requirement_satisfied
          hash: >-
            sha256:2af89360acacfd1b386436af06a134225d36a1987ecf7e64bad1c1b9d761b624
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us:statutes/42/426/a/2#railroad_retirement_beneficiary_alternative_satisfied
          output: railroad_retirement_beneficiary_alternative_satisfied
          hash: >-
            sha256:2260cff7d08ef694ba1e43fea07cbeece8dab5f94cceb12f26efa496681d1281
versions:
  - effective_from: '1974-01-01'
    formula: |-
      attained_age_65_requirement_satisfied
      and railroad_retirement_beneficiary_alternative_satisfied
      and current_month_is_after_june_1966

open in graph ↗

attained_age_threshold42 USC § 426 (a) (1) · parameter

42 USC 426(a)(1)

name: attained_age_threshold
kind: parameter
dtype: Count
source: 42 USC 426(a)(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us/statute/42/426/a/1
          excerpt: age 65
versions:
  - effective_from: '1974-01-01'
    formula: '65'

open in graph ↗

attained_age_65_requirement_satisfied42 USC § 426 (a) (1) · derived

42 USC 426(a)(1)

name: attained_age_65_requirement_satisfied
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 42 USC 426(a)(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/426/a/1
          excerpt: has attained age 65
versions:
  - effective_from: '1974-01-01'
    formula: age >= attained_age_threshold

open in graph ↗

railroad_retirement_beneficiary_alternative_satisfied42 USC § 426 (a) (2) · derived

42 U.S.C. 426(a)(2)(B)

name: railroad_retirement_beneficiary_alternative_satisfied
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 42 U.S.C. 426(a)(2)(B)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/426/a/2
          excerpt: is a qualified railroad retirement beneficiary
      - path: versions[0].formula
        kind: import
        import:
          target: us:statutes/42/426/d#qualified_railroad_retirement_beneficiary
          output: qualified_railroad_retirement_beneficiary
          hash: >-
            sha256:b4b96c121a0b8e4ae9c9b36e4c868e6d107154cf9ab856e67866c5eeeb25d970
versions:
  - effective_from: '1974-01-01'
    formula: qualified_railroad_retirement_beneficiary

open in graph ↗

▸rulespec code

Shown source

statutes/42/426/a

Displaying the canonical repository encoding.

View on GitHub

Rules

hospital_insurance_entitlement_age_and_railroad_path

Derived

source: 42 U.S.C. 426(a)

- name: hospital_insurance_entitlement_age_and_railroad_path
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 42 U.S.C. 426(a)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/426/a
            excerpt: has attained age 65
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/426/a
            excerpt: is a qualified railroad retirement beneficiary
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/426/a
            excerpt: beginning with the first month after June 1966
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/426/a/1#attained_age_65_requirement_satisfied
            output: attained_age_65_requirement_satisfied
            hash: sha256:2af89360acacfd1b386436af06a134225d36a1987ecf7e64bad1c1b9d761b624
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/426/a/2#railroad_retirement_beneficiary_alternative_satisfied
            output: railroad_retirement_beneficiary_alternative_satisfied
            hash: sha256:2260cff7d08ef694ba1e43fea07cbeece8dab5f94cceb12f26efa496681d1281
  versions:
    - effective_from: '1974-01-01'
      formula: |-
        attained_age_65_requirement_satisfied
        and railroad_retirement_beneficiary_alternative_satisfied
        and current_month_is_after_june_1966

attained_age_threshold

Parameter(1) in text ↖

source: 42 USC 426(a)(1)

- name: attained_age_threshold
  kind: parameter
  dtype: Count
  source: 42 USC 426(a)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/426/a/1
            excerpt: age 65
  versions:
    - effective_from: '1974-01-01'
      formula: '65'

attained_age_65_requirement_satisfied

Derived(1) in text ↖

source: 42 USC 426(a)(1)

- name: attained_age_65_requirement_satisfied
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 42 USC 426(a)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/426/a/1
            excerpt: has attained age 65
  versions:
    - effective_from: '1974-01-01'
      formula: age >= attained_age_threshold

railroad_retirement_beneficiary_alternative_satisfied

Derived(2) in text ↖

source: 42 U.S.C. 426(a)(2)(B)

- name: railroad_retirement_beneficiary_alternative_satisfied
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 42 U.S.C. 426(a)(2)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/426/a/2
            excerpt: is a qualified railroad retirement beneficiary
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/426/d#qualified_railroad_retirement_beneficiary
            output: qualified_railroad_retirement_beneficiary
            hash: sha256:b4b96c121a0b8e4ae9c9b36e4c868e6d107154cf9ab856e67866c5eeeb25d970
  versions:
    - effective_from: '1974-01-01'
      formula: qualified_railroad_retirement_beneficiary

▸citations (3)

References

This rule cites 3 other rules.

42 USC § 402inferredUS Federal › Statutes › Title 42 › § 402
42 USC § 410 (p)inferredUS Federal › Statutes › Title 42 › § 410 › (p)
42 USC § 410 (a)inferredUS Federal › Statutes › Title 42 › § 410 › (a)