Axiom Foundation

loading…

us/statute/42/426/b — Individuals under 65 years · Axiom

in view

Whole section

Encodings · 12

maximum_trial_work_deemed_entitlement_months42 USC § 426 (b) · parameter

42 U.S.C. 426(b)

name: maximum_trial_work_deemed_entitlement_months
kind: parameter
dtype: Count
source: 42 U.S.C. 426(b)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us/statute/42/426/b
          excerpt: but not in excess of 78 such months
versions:
  - effective_from: '1974-01-01'
    formula: '78'

open in graph ↗

trial_work_termination_month_substitution_threshold42 USC § 426 (b) · parameter

42 U.S.C. 426(b)

name: trial_work_termination_month_substitution_threshold
kind: parameter
dtype: Count
source: 42 U.S.C. 426(b)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us/statute/42/426/b
          excerpt: 36 months ... shall be applied as though it read “15 months”
versions:
  - effective_from: '1974-01-01'
    formula: '15'

open in graph ↗

hospital_insurance_benefits_entitlement_under_part_a42 USC § 426 (b) · derived

42 U.S.C. 426(b)

name: hospital_insurance_benefits_entitlement_under_part_a
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 42 U.S.C. 426(b)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/426/b
          excerpt: Every individual who ... has not attained age 65
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/426/b
          excerpt: (2) (A) ... or (B) ... or (C)
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/426/b
          excerpt: shall be entitled to hospital insurance benefits under part A
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/426/b
          excerpt: >-
            beginning with the later of (I) July 1973 or (II) the twenty-fifth
            month
      - path: versions[0].formula
        kind: exception
        source:
          corpus_citation_path: us/statute/42/426/b
          excerpt: >-
            ending ... with the month following the month in which notice of
            termination ... is mailed
      - path: versions[0].formula
        kind: exception
        source:
          corpus_citation_path: us/statute/42/426/b
          excerpt: >-
            or if earlier, with the month before the month in which he attains
            age 65
      - path: versions[0].formula
        kind: import
        import:
          target: us:statutes/42/426/b/1#person_has_not_attained_age_threshold
          output: person_has_not_attained_age_threshold
          hash: >-
            sha256:7dde629facacc6753d2e2bf5b644131b43ff9410911c015f82515c8256e43ca8
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us:statutes/42/426/b/2#part_a_disability_or_railroad_condition_satisfied
          output: part_a_disability_or_railroad_condition_satisfied
          hash: >-
            sha256:833ffdf6d0aab3bb7c1ba53dd325d3edf7a10ed72d56e3922de36b1b544cd3f5
versions:
  - effective_from: '1974-01-01'
    formula: >-
      person_has_not_attained_age_threshold

      and part_a_disability_or_railroad_condition_satisfied

      and current_month_is_july_1973_or_later

      and
      current_month_is_twenty_fifth_month_or_later_of_entitlement_or_status_described_in_paragraph_2

      and
      current_month_is_on_or_before_month_following_month_termination_notice_mailed

      and current_month_is_before_month_individual_attains_age_65

open in graph ↗

government_employment_application_twenty_fifth_month_reference_applies42 USC § 426 (b) · derived

42 U.S.C. 426(b)

name: government_employment_application_twenty_fifth_month_reference_applies
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 42 U.S.C. 426(b)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: definition
        source:
          corpus_citation_path: us/statute/42/426/b
          excerpt: >-
            In applying the previous sentence in the case of an individual
            described in paragraph (2)(C)
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/426/b
          excerpt: >-
            the “twenty-fifth month of his entitlement” refers to the first
            month after the twenty-fourth month
versions:
  - effective_from: '1974-01-01'
    formula: >-
      individual_is_described_in_paragraph_2_C

      and
      current_month_is_first_month_after_twenty_fourth_month_of_entitlement_to_specified_benefits_referred_to_in_paragraph_2_C

open in graph ↗

government_employment_application_termination_notice_reference_applies42 USC § 426 (b) · derived

42 U.S.C. 426(b)

name: government_employment_application_termination_notice_reference_applies
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 42 U.S.C. 426(b)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: definition
        source:
          corpus_citation_path: us/statute/42/426/b
          excerpt: >-
            In applying the previous sentence in the case of an individual
            described in paragraph (2)(C)
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/426/b
          excerpt: >-
            “notice of termination of such entitlement” refers to a notice that
            the individual would no longer be determined
versions:
  - effective_from: '1974-01-01'
    formula: >-
      individual_is_described_in_paragraph_2_C

      and
      notice_states_individual_would_no_longer_be_determined_entitled_to_specified_benefits_under_paragraph_2_C_conditions

open in graph ↗

deemed_entitlement_or_railroad_status_during_trial_work_extended_period42 USC § 426 (b) · derived

42 U.S.C. 426(b)

name: deemed_entitlement_or_railroad_status_during_trial_work_extended_period
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 42 U.S.C. 426(b)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/426/b
          excerpt: >-
            an individual who has had a period of trial work which ended as
            provided
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/426/b
          excerpt: >-
            whose entitlement to benefits or status as a qualified railroad
            retirement beneficiary ... has subsequently terminated
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/426/b
          excerpt: >-
            shall be deemed to be entitled to such benefits or to occupy such
            status
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/426/b
          excerpt: >-
            throughout all of which the physical or mental impairment ...
            continues
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/426/b
          excerpt: >-
            would have been entitled to monthly insurance benefits ... had such
            individual been unable to engage in substantial gainful activity
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us/statute/42/426/b
          excerpt: but not in excess of 78 such months
      - path: versions[0].formula
        kind: import
        import:
          target: us:statutes/42/426/b#maximum_trial_work_deemed_entitlement_months
          output: maximum_trial_work_deemed_entitlement_months
          hash: sha256:local
versions:
  - effective_from: '1974-01-01'
    formula: >-
      individual_had_period_of_trial_work_ended_as_provided_in_section_422_c_4_A

      and
      entitlement_to_benefits_or_qualified_railroad_status_described_in_paragraph_2_subsequently_terminated

      and
      impairment_on_which_entitlement_or_status_was_based_continues_throughout_current_consecutive_month_period

      and
      individual_would_have_been_entitled_to_monthly_insurance_benefits_or_qualified_railroad_retirement_beneficiary_status_if_unable_to_engage_in_substantial_gainful_activity

      and consecutive_months_in_current_deemed_entitlement_period <=
      maximum_trial_work_deemed_entitlement_months

open in graph ↗

age_attainment_threshold42 USC § 426 (b) (1) · parameter

42 U.S.C. 426(b)(1)

name: age_attainment_threshold
kind: parameter
dtype: Integer
source: 42 U.S.C. 426(b)(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us/statute/42/426/b/1
          excerpt: age 65
versions:
  - effective_from: '1974-01-01'
    formula: '65'

open in graph ↗

person_has_not_attained_age_threshold42 USC § 426 (b) (1) · derived

42 U.S.C. 426(b)(1)

name: person_has_not_attained_age_threshold
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 42 U.S.C. 426(b)(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/426/b/1
          excerpt: has not attained age 65
versions:
  - effective_from: '1974-01-01'
    formula: age < age_attainment_threshold

open in graph ↗

disability_related_benefit_entitlement_calendar_month_threshold42 USC § 426 (b) (2) · parameter

42 U.S.C. 426(b)(2)(A)

name: disability_related_benefit_entitlement_calendar_month_threshold
kind: parameter
dtype: Count
source: 42 U.S.C. 426(b)(2)(A)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us/statute/42/426/b/2
          excerpt: has for 24 calendar months been entitled to
versions:
  - effective_from: '1974-01-01'
    formula: '24'

open in graph ↗

disabled_qualified_railroad_retirement_beneficiary_month_threshold42 USC § 426 (b) (2) · parameter

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

name: disabled_qualified_railroad_retirement_beneficiary_month_threshold
kind: parameter
dtype: Count
source: 42 U.S.C. 426(b)(2)(B)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us/statute/42/426/b/2
          excerpt: has been for not less than 24 months
versions:
  - effective_from: '1974-01-01'
    formula: '24'

open in graph ↗

government_employment_specified_benefit_entitlement_month_threshold42 USC § 426 (b) (2) · parameter

42 U.S.C. 426(b)(2)(C)(ii)

name: government_employment_specified_benefit_entitlement_month_threshold
kind: parameter
dtype: Count
source: 42 U.S.C. 426(b)(2)(C)(ii)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us/statute/42/426/b/2
          excerpt: >-
            including the requirement that he has been entitled to the specified
            benefits for 24 months
versions:
  - effective_from: '1974-01-01'
    formula: '24'

open in graph ↗

part_a_disability_or_railroad_condition_satisfied42 USC § 426 (b) (2) · derived

42 U.S.C. 426(b)(2)

name: part_a_disability_or_railroad_condition_satisfied
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 42 U.S.C. 426(b)(2)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/426/b/2
          excerpt: (A) is entitled to, and has for 24 calendar months been entitled to
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/426/b/2
          excerpt: >-
            (B) is, and has been for not less than 24 months, a disabled
            qualified railroad retirement beneficiary
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/426/b/2
          excerpt: >-
            (C) (i) has filed an application ... and (ii) would meet the
            requirements of subparagraph (A)
versions:
  - effective_from: '1974-01-01'
    formula: |-
      (
        (
          (
            entitled_to_disability_insurance_benefits_under_section_423
            or entitled_to_childs_insurance_benefits_under_section_402_d_by_reason_of_disability_defined_in_section_423_d
            or entitled_to_widows_or_widowers_insurance_benefits_under_section_402_e_or_402_f_by_reason_of_disability_defined_in_section_423_d
          )
          and calendar_months_entitled_to_specified_disability_related_benefits >= disability_related_benefit_entitlement_calendar_month_threshold
        )
        or (
          disabled_qualified_railroad_retirement_beneficiary_within_meaning_of_section_231f_d
          and months_as_disabled_qualified_railroad_retirement_beneficiary >= disabled_qualified_railroad_retirement_beneficiary_month_threshold
        )
        or (
          filed_application_for_hospital_insurance_benefits_under_part_a_in_conformity_with_secretary_regulations
          and counterfactual_disability_criteria_including_reviews_applied_under_this_subchapter_satisfied
          and (
            counterfactually_entitled_to_disability_insurance_benefits_under_section_423_if_medicare_qualified_government_employment_treated_as_employment_and_application_deemed_disability_benefits_filing
            or counterfactually_entitled_to_childs_insurance_benefits_under_section_402_d_by_reason_of_disability_defined_in_section_423_d_if_medicare_qualified_government_employment_treated_as_employment_and_application_deemed_disability_benefits_filing
            or counterfactually_entitled_to_widows_or_widowers_insurance_benefits_under_section_402_e_or_402_f_by_reason_of_disability_defined_in_section_423_d_if_medicare_qualified_government_employment_treated_as_employment_and_application_deemed_disability_benefits_filing
          )
          and counterfactual_months_entitled_to_specified_disability_related_benefits_if_medicare_qualified_government_employment_treated_as_employment_and_application_deemed_disability_benefits_filing >= government_employment_specified_benefit_entitlement_month_threshold
        )
      )

open in graph ↗

▸rulespec code

Shown source

statutes/42/426/b

Displaying the canonical repository encoding.

View on GitHub

Rules

maximum_trial_work_deemed_entitlement_months

Parameter

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

- name: maximum_trial_work_deemed_entitlement_months
  kind: parameter
  dtype: Count
  source: 42 U.S.C. 426(b)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/426/b
            excerpt: but not in excess of 78 such months
  versions:
    - effective_from: '1974-01-01'
      formula: '78'

trial_work_termination_month_substitution_threshold

Parameter

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

- name: trial_work_termination_month_substitution_threshold
  kind: parameter
  dtype: Count
  source: 42 U.S.C. 426(b)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/426/b
            excerpt: 36 months ... shall be applied as though it read “15 months”
  versions:
    - effective_from: '1974-01-01'
      formula: '15'

hospital_insurance_benefits_entitlement_under_part_a

Derived

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

- name: hospital_insurance_benefits_entitlement_under_part_a
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 42 U.S.C. 426(b)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/426/b
            excerpt: Every individual who ... has not attained age 65
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/426/b
            excerpt: (2) (A) ... or (B) ... or (C)
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/426/b
            excerpt: shall be entitled to hospital insurance benefits under part A
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/426/b
            excerpt: beginning with the later of (I) July 1973 or (II) the twenty-fifth month
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us/statute/42/426/b
            excerpt: >-
              ending ... with the month following the month in which notice of termination ... is
              mailed
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us/statute/42/426/b
            excerpt: or if earlier, with the month before the month in which he attains age 65
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/426/b/1#person_has_not_attained_age_threshold
            output: person_has_not_attained_age_threshold
            hash: sha256:7dde629facacc6753d2e2bf5b644131b43ff9410911c015f82515c8256e43ca8
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/426/b/2#part_a_disability_or_railroad_condition_satisfied
            output: part_a_disability_or_railroad_condition_satisfied
            hash: sha256:833ffdf6d0aab3bb7c1ba53dd325d3edf7a10ed72d56e3922de36b1b544cd3f5
  versions:
    - effective_from: '1974-01-01'
      formula: >-
        person_has_not_attained_age_threshold

        and part_a_disability_or_railroad_condition_satisfied

        and current_month_is_july_1973_or_later

        and
        current_month_is_twenty_fifth_month_or_later_of_entitlement_or_status_described_in_paragraph_2

        and current_month_is_on_or_before_month_following_month_termination_notice_mailed

        and current_month_is_before_month_individual_attains_age_65

government_employment_application_twenty_fifth_month_reference_applies

Derived

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

- name: government_employment_application_twenty_fifth_month_reference_applies
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 42 U.S.C. 426(b)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/42/426/b
            excerpt: >-
              In applying the previous sentence in the case of an individual described in paragraph
              (2)(C)
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/426/b
            excerpt: >-
              the “twenty-fifth month of his entitlement” refers to the first month after the
              twenty-fourth month
  versions:
    - effective_from: '1974-01-01'
      formula: >-
        individual_is_described_in_paragraph_2_C

        and
        current_month_is_first_month_after_twenty_fourth_month_of_entitlement_to_specified_benefits_referred_to_in_paragraph_2_C

government_employment_application_termination_notice_reference_applies

Derived

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

- name: government_employment_application_termination_notice_reference_applies
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 42 U.S.C. 426(b)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/42/426/b
            excerpt: >-
              In applying the previous sentence in the case of an individual described in paragraph
              (2)(C)
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/426/b
            excerpt: >-
              “notice of termination of such entitlement” refers to a notice that the individual
              would no longer be determined
  versions:
    - effective_from: '1974-01-01'
      formula: >-
        individual_is_described_in_paragraph_2_C

        and
        notice_states_individual_would_no_longer_be_determined_entitled_to_specified_benefits_under_paragraph_2_C_conditions

deemed_entitlement_or_railroad_status_during_trial_work_extended_period

Derived

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

- name: deemed_entitlement_or_railroad_status_during_trial_work_extended_period
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 42 U.S.C. 426(b)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/426/b
            excerpt: an individual who has had a period of trial work which ended as provided
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/426/b
            excerpt: >-
              whose entitlement to benefits or status as a qualified railroad retirement beneficiary
              ... has subsequently terminated
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/426/b
            excerpt: shall be deemed to be entitled to such benefits or to occupy such status
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/426/b
            excerpt: throughout all of which the physical or mental impairment ... continues
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/426/b
            excerpt: >-
              would have been entitled to monthly insurance benefits ... had such individual been
              unable to engage in substantial gainful activity
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/426/b
            excerpt: but not in excess of 78 such months
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/426/b#maximum_trial_work_deemed_entitlement_months
            output: maximum_trial_work_deemed_entitlement_months
            hash: sha256:local
  versions:
    - effective_from: '1974-01-01'
      formula: >-
        individual_had_period_of_trial_work_ended_as_provided_in_section_422_c_4_A

        and
        entitlement_to_benefits_or_qualified_railroad_status_described_in_paragraph_2_subsequently_terminated

        and
        impairment_on_which_entitlement_or_status_was_based_continues_throughout_current_consecutive_month_period

        and
        individual_would_have_been_entitled_to_monthly_insurance_benefits_or_qualified_railroad_retirement_beneficiary_status_if_unable_to_engage_in_substantial_gainful_activity

        and consecutive_months_in_current_deemed_entitlement_period <=
        maximum_trial_work_deemed_entitlement_months

age_attainment_threshold

Parameter(1) in text ↖

source: 42 U.S.C. 426(b)(1)

- name: age_attainment_threshold
  kind: parameter
  dtype: Integer
  source: 42 U.S.C. 426(b)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/426/b/1
            excerpt: age 65
  versions:
    - effective_from: '1974-01-01'
      formula: '65'

person_has_not_attained_age_threshold

Derived(1) in text ↖

source: 42 U.S.C. 426(b)(1)

- name: person_has_not_attained_age_threshold
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 42 U.S.C. 426(b)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/426/b/1
            excerpt: has not attained age 65
  versions:
    - effective_from: '1974-01-01'
      formula: age < age_attainment_threshold

disability_related_benefit_entitlement_calendar_month_threshold

Parameter(2) in text ↖

source: 42 U.S.C. 426(b)(2)(A)

- name: disability_related_benefit_entitlement_calendar_month_threshold
  kind: parameter
  dtype: Count
  source: 42 U.S.C. 426(b)(2)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/426/b/2
            excerpt: has for 24 calendar months been entitled to
  versions:
    - effective_from: '1974-01-01'
      formula: '24'

disabled_qualified_railroad_retirement_beneficiary_month_threshold

Parameter(2) in text ↖

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

- name: disabled_qualified_railroad_retirement_beneficiary_month_threshold
  kind: parameter
  dtype: Count
  source: 42 U.S.C. 426(b)(2)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/426/b/2
            excerpt: has been for not less than 24 months
  versions:
    - effective_from: '1974-01-01'
      formula: '24'

government_employment_specified_benefit_entitlement_month_threshold

Parameter(2) in text ↖

source: 42 U.S.C. 426(b)(2)(C)(ii)

- name: government_employment_specified_benefit_entitlement_month_threshold
  kind: parameter
  dtype: Count
  source: 42 U.S.C. 426(b)(2)(C)(ii)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/426/b/2
            excerpt: >-
              including the requirement that he has been entitled to the specified benefits for 24
              months
  versions:
    - effective_from: '1974-01-01'
      formula: '24'

part_a_disability_or_railroad_condition_satisfied

Derived(2) in text ↖

source: 42 U.S.C. 426(b)(2)

- name: part_a_disability_or_railroad_condition_satisfied
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 42 U.S.C. 426(b)(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/426/b/2
            excerpt: (A) is entitled to, and has for 24 calendar months been entitled to
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/426/b/2
            excerpt: >-
              (B) is, and has been for not less than 24 months, a disabled qualified railroad
              retirement beneficiary
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/426/b/2
            excerpt: >-
              (C) (i) has filed an application ... and (ii) would meet the requirements of
              subparagraph (A)
  versions:
    - effective_from: '1974-01-01'
      formula: |-
        (
          (
            (
              entitled_to_disability_insurance_benefits_under_section_423
              or entitled_to_childs_insurance_benefits_under_section_402_d_by_reason_of_disability_defined_in_section_423_d
              or entitled_to_widows_or_widowers_insurance_benefits_under_section_402_e_or_402_f_by_reason_of_disability_defined_in_section_423_d
            )
            and calendar_months_entitled_to_specified_disability_related_benefits >= disability_related_benefit_entitlement_calendar_month_threshold
          )
          or (
            disabled_qualified_railroad_retirement_beneficiary_within_meaning_of_section_231f_d
            and months_as_disabled_qualified_railroad_retirement_beneficiary >= disabled_qualified_railroad_retirement_beneficiary_month_threshold
          )
          or (
            filed_application_for_hospital_insurance_benefits_under_part_a_in_conformity_with_secretary_regulations
            and counterfactual_disability_criteria_including_reviews_applied_under_this_subchapter_satisfied
            and (
              counterfactually_entitled_to_disability_insurance_benefits_under_section_423_if_medicare_qualified_government_employment_treated_as_employment_and_application_deemed_disability_benefits_filing
              or counterfactually_entitled_to_childs_insurance_benefits_under_section_402_d_by_reason_of_disability_defined_in_section_423_d_if_medicare_qualified_government_employment_treated_as_employment_and_application_deemed_disability_benefits_filing
              or counterfactually_entitled_to_widows_or_widowers_insurance_benefits_under_section_402_e_or_402_f_by_reason_of_disability_defined_in_section_423_d_if_medicare_qualified_government_employment_treated_as_employment_and_application_deemed_disability_benefits_filing
            )
            and counterfactual_months_entitled_to_specified_disability_related_benefits_if_medicare_qualified_government_employment_treated_as_employment_and_application_deemed_disability_benefits_filing >= government_employment_specified_benefit_entitlement_month_threshold
          )
        )

▸citations (13)

References

This rule cites 13 other rules.

42 USC § 423inferredUS Federal › Statutes › Title 42 › § 423
42 USC § 402 (d)inferredUS Federal › Statutes › Title 42 › § 402 › (d)
42 USC § 423 (d)inferredUS Federal › Statutes › Title 42 › § 423 › (d)
42 USC § 402 (e)inferredUS Federal › Statutes › Title 42 › § 402 › (e)
42 USC § 402 (f)inferredUS Federal › Statutes › Title 42 › § 402 › (f)
42 USC § 423 (d)inferredUS Federal › Statutes › Title 42 › § 423 › (d)
42 USC § 410 (p)inferredUS Federal › Statutes › Title 42 › § 410 › (p)
42 USC § 410 (a)inferredUS Federal › Statutes › Title 42 › § 410 › (a)
42 USC § 422 (c)(4)(A)inferredUS Federal › Statutes › Title 42 › § 422 › (c)(4)(A)
42 USC § 423 (a)(1)inferredUS Federal › Statutes › Title 42 › § 423 › (a)(1)
42 USC § 402 (d)(1)(G)(i)inferredUS Federal › Statutes › Title 42 › § 402 › (d)(1)(G)(i)
42 USC § 402 (e)(1)inferredUS Federal › Statutes › Title 42 › § 402 › (e)(1)
42 USC § 402 (f)(1)inferredUS Federal › Statutes › Title 42 › § 402 › (f)(1)

Individuals under 65 years

Individuals under 65 years

(1)∀ 2#

(2)∀ 4#

maximum_trial_work_deemed_entitlement_months

trial_work_termination_month_substitution_threshold

hospital_insurance_benefits_entitlement_under_part_a

government_employment_application_twenty_fifth_month_reference_applies

government_employment_application_termination_notice_reference_applies

deemed_entitlement_or_railroad_status_during_trial_work_extended_period

age_attainment_threshold

person_has_not_attained_age_threshold

disability_related_benefit_entitlement_calendar_month_threshold

disabled_qualified_railroad_retirement_beneficiary_month_threshold

government_employment_specified_benefit_entitlement_month_threshold

part_a_disability_or_railroad_condition_satisfied