us/statute/42/426/b/2

loading…

4 rules

(A) is entitled to, and has for 24 calendar months been entitled to, (i) disability insurance benefits under section 423 of this title or (ii) child’s insurance benefits under section 402(d) of this title by reason of a disability (as defined in section 423(d) of this title ) or (iii) widow’s insurance benefits under section 402(e) of this title or widower’s insurance benefits under section 402(f) of this title by reason of a disability (as defined in section 423(d) of this title ), or

(B) is, and has been for not less than 24 months, a disabled qualified railroad retirement beneficiary, within the meaning of section 231f(d) of title 45 , or

(C) (i) has filed an application, in conformity with regulations of the Secretary, for hospital insurance benefits under part A of subchapter XVIII pursuant to this subparagraph, and (ii) would meet the requirements of subparagraph (A) (as determined under the disability criteria, including reviews, applied under this subchapter), including the requirement that he has been entitled to the specified benefits for 24 months, if— (I) 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) the filing of the application under clause (i) of this subparagraph were deemed to be the filing of an application for the disability-related benefits referred to in clause (i), (ii), or (iii) of subparagraph (A),

in view

Whole section

Encodings · 4

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/2.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

disability_related_benefit_entitlement_calendar_month_threshold

Parameter

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

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

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

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

References

This rule cites 8 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)

loading…

us/statute/42/426/b/2 · Axiom

4 rules

Official source

graph ↗build calculator ↗

(B) is, and has been for not less than 24 months, a disabled qualified railroad retirement beneficiary, within the meaning of section 231f(d) of title 45 , or

in view

Whole section

Encodings · 4

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/2.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

disability_related_benefit_entitlement_calendar_month_threshold

Parameter

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

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

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

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

References

This rule cites 8 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)