loading…

Waiver of waiting period for individuals with ALS

7 rules1 of 3 subsections

For purposes of applying this section in the case of an individual medically determined to have amyotrophic lateral sclerosis (ALS), the following special rules apply:

(1)

(1)∀ 2#

Subsection (b) shall be applied as if there were no requirement for any entitlement to benefits, or status, for a period longer than 1 month.

(2)#

The entitlement under such subsection shall begin with the first month (rather than twenty-fifth month) of entitlement or status.

(3)#

Subsection (f) shall not be applied.

in view

Whole section

Encodings · 7

maximum_entitlement_or_status_months_required_for_als42 USC § 426 (h) · parameter

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

name: maximum_entitlement_or_status_months_required_for_als
kind: parameter
dtype: Count
source: 42 U.S.C. 426(h)(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us/statute/42/426/h
          excerpt: no requirement ... longer than 1 month
versions:
  - effective_from: '1974-01-01'
    formula: '1'

open in graph ↗

entitlement_beginning_month_ordinal_for_als42 USC § 426 (h) · parameter

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

name: entitlement_beginning_month_ordinal_for_als
kind: parameter
dtype: Count
source: 42 U.S.C. 426(h)(2)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us/statute/42/426/h
          excerpt: first month
versions:
  - effective_from: '1974-01-01'
    formula: '1'

open in graph ↗

subsection_b_disability_or_railroad_condition_satisfied_under_als_special_rule42 USC § 426 (h) · derived

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

name: subsection_b_disability_or_railroad_condition_satisfied_under_als_special_rule
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 42 U.S.C. 426(h)(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/426/h
          excerpt: >-
            individual medically determined to have amyotrophic lateral
            sclerosis (ALS)
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us/statute/42/426/h
          excerpt: no requirement ... longer than 1 month
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us:statutes/42/426/h#maximum_entitlement_or_status_months_required_for_als
          output: maximum_entitlement_or_status_months_required_for_als
          hash: sha256:local
versions:
  - effective_from: '1974-01-01'
    formula: |-
      individual_medically_determined_to_have_amyotrophic_lateral_sclerosis
      and (
        (
          (
            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 >= maximum_entitlement_or_status_months_required_for_als
        )
        or (
          disabled_qualified_railroad_retirement_beneficiary_within_meaning_of_section_231f_d
          and months_as_disabled_qualified_railroad_retirement_beneficiary >= maximum_entitlement_or_status_months_required_for_als
        )
        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 >= maximum_entitlement_or_status_months_required_for_als
        )
      )

open in graph ↗

subsection_b_entitlement_begin_month_ordinal_under_als_special_rule42 USC § 426 (h) · derived

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

name: subsection_b_entitlement_begin_month_ordinal_under_als_special_rule
kind: derived
entity: Person
dtype: Count
period: Month
source: 42 U.S.C. 426(h)(2)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/426/h
          excerpt: >-
            individual medically determined to have amyotrophic lateral
            sclerosis (ALS)
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us/statute/42/426/h
          excerpt: first month (rather than twenty-fifth month)
      - path: versions[0].formula
        kind: import
        import:
          target: us:statutes/42/426/h#entitlement_beginning_month_ordinal_for_als
          output: entitlement_beginning_month_ordinal_for_als
          hash: sha256:local
versions:
  - effective_from: '1974-01-01'
    formula: >-
      if individual_medically_determined_to_have_amyotrophic_lateral_sclerosis:
      entitlement_beginning_month_ordinal_for_als else: 0

open in graph ↗

subsection_f_not_applied_under_als_special_rule42 USC § 426 (h) · derived

42 U.S.C. 426(h)(3)

name: subsection_f_not_applied_under_als_special_rule
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 42 U.S.C. 426(h)(3)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/426/h
          excerpt: >-
            individual medically determined to have amyotrophic lateral
            sclerosis (ALS)
      - path: versions[0].formula
        kind: exception
        source:
          corpus_citation_path: us/statute/42/426/h
          excerpt: Subsection (f) shall not be applied.
versions:
  - effective_from: '1974-01-01'
    formula: individual_medically_determined_to_have_amyotrophic_lateral_sclerosis

open in graph ↗

maximum_entitlement_or_status_month_requirement_under_subsection_h42 USC § 426 (h) (1) · parameter

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

name: maximum_entitlement_or_status_month_requirement_under_subsection_h
kind: parameter
dtype: Count
source: 42 U.S.C. 426(h)(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us/statute/42/426/h/1
          excerpt: >-
            no requirement for any entitlement to benefits, or status, for a
            period longer than 1 month
versions:
  - effective_from: '1974-01-01'
    formula: '1'

open in graph ↗

entitlement_or_status_period_requirement_satisfied_under_subsection_h42 USC § 426 (h) (1) · derived

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

name: entitlement_or_status_period_requirement_satisfied_under_subsection_h
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 42 U.S.C. 426(h)(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/426/h/1
          excerpt: Subsection (b) shall be applied
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/426/h/1
          excerpt: as if there were no requirement ... for a period longer than 1 month
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us:statutes/42/426/h/1#maximum_entitlement_or_status_month_requirement_under_subsection_h
          output: maximum_entitlement_or_status_month_requirement_under_subsection_h
          hash: sha256:local
versions:
  - effective_from: '1974-01-01'
    formula: >-
      months_of_entitlement_to_benefits_or_status_for_applying_subsection_b >=
      maximum_entitlement_or_status_month_requirement_under_subsection_h

open in graph ↗

▸rulespec code

Shown source

statutes/42/426/h

Displaying the canonical repository encoding.

View on GitHub

Rules

maximum_entitlement_or_status_months_required_for_als

Parameter

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

- name: maximum_entitlement_or_status_months_required_for_als
  kind: parameter
  dtype: Count
  source: 42 U.S.C. 426(h)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/426/h
            excerpt: no requirement ... longer than 1 month
  versions:
    - effective_from: '1974-01-01'
      formula: '1'

entitlement_beginning_month_ordinal_for_als

Parameter

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

- name: entitlement_beginning_month_ordinal_for_als
  kind: parameter
  dtype: Count
  source: 42 U.S.C. 426(h)(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/426/h
            excerpt: first month
  versions:
    - effective_from: '1974-01-01'
      formula: '1'

subsection_b_disability_or_railroad_condition_satisfied_under_als_special_rule

Derived

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

- name: subsection_b_disability_or_railroad_condition_satisfied_under_als_special_rule
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 42 U.S.C. 426(h)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/426/h
            excerpt: individual medically determined to have amyotrophic lateral sclerosis (ALS)
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/426/h
            excerpt: no requirement ... longer than 1 month
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/426/h#maximum_entitlement_or_status_months_required_for_als
            output: maximum_entitlement_or_status_months_required_for_als
            hash: sha256:local
  versions:
    - effective_from: '1974-01-01'
      formula: |-
        individual_medically_determined_to_have_amyotrophic_lateral_sclerosis
        and (
          (
            (
              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 >= maximum_entitlement_or_status_months_required_for_als
          )
          or (
            disabled_qualified_railroad_retirement_beneficiary_within_meaning_of_section_231f_d
            and months_as_disabled_qualified_railroad_retirement_beneficiary >= maximum_entitlement_or_status_months_required_for_als
          )
          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 >= maximum_entitlement_or_status_months_required_for_als
          )
        )

subsection_b_entitlement_begin_month_ordinal_under_als_special_rule

Derived

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

- name: subsection_b_entitlement_begin_month_ordinal_under_als_special_rule
  kind: derived
  entity: Person
  dtype: Count
  period: Month
  source: 42 U.S.C. 426(h)(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/426/h
            excerpt: individual medically determined to have amyotrophic lateral sclerosis (ALS)
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/426/h
            excerpt: first month (rather than twenty-fifth month)
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/426/h#entitlement_beginning_month_ordinal_for_als
            output: entitlement_beginning_month_ordinal_for_als
            hash: sha256:local
  versions:
    - effective_from: '1974-01-01'
      formula: >-
        if individual_medically_determined_to_have_amyotrophic_lateral_sclerosis:
        entitlement_beginning_month_ordinal_for_als else: 0

subsection_f_not_applied_under_als_special_rule

Derived

source: 42 U.S.C. 426(h)(3)

- name: subsection_f_not_applied_under_als_special_rule
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 42 U.S.C. 426(h)(3)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/426/h
            excerpt: individual medically determined to have amyotrophic lateral sclerosis (ALS)
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us/statute/42/426/h
            excerpt: Subsection (f) shall not be applied.
  versions:
    - effective_from: '1974-01-01'
      formula: individual_medically_determined_to_have_amyotrophic_lateral_sclerosis

maximum_entitlement_or_status_month_requirement_under_subsection_h

Parameter(1) in text ↖

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

- name: maximum_entitlement_or_status_month_requirement_under_subsection_h
  kind: parameter
  dtype: Count
  source: 42 U.S.C. 426(h)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/426/h/1
            excerpt: >-
              no requirement for any entitlement to benefits, or status, for a period longer than 1
              month
  versions:
    - effective_from: '1974-01-01'
      formula: '1'

entitlement_or_status_period_requirement_satisfied_under_subsection_h

Derived(1) in text ↖

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

- name: entitlement_or_status_period_requirement_satisfied_under_subsection_h
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 42 U.S.C. 426(h)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/426/h/1
            excerpt: Subsection (b) shall be applied
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/426/h/1
            excerpt: as if there were no requirement ... for a period longer than 1 month
        - path: versions[0].formula
          kind: import
          import:
            target: >-
              us:statutes/42/426/h/1#maximum_entitlement_or_status_month_requirement_under_subsection_h
            output: maximum_entitlement_or_status_month_requirement_under_subsection_h
            hash: sha256:local
  versions:
    - effective_from: '1974-01-01'
      formula: >-
        months_of_entitlement_to_benefits_or_status_for_applying_subsection_b >=
        maximum_entitlement_or_status_month_requirement_under_subsection_h

loading…

us/statute/42/426/h — Waiver of waiting period for individuals with ALS · Axiom

Waiver of waiting period for individuals with ALS

7 rules1 of 3 subsections

Official source

graph ↗build calculator ↗

For purposes of applying this section in the case of an individual medically determined to have amyotrophic lateral sclerosis (ALS), the following special rules apply:

(1)

(1)∀ 2#

Subsection (b) shall be applied as if there were no requirement for any entitlement to benefits, or status, for a period longer than 1 month.

(2)#

The entitlement under such subsection shall begin with the first month (rather than twenty-fifth month) of entitlement or status.

(3)#

Subsection (f) shall not be applied.

in view

Whole section

Encodings · 7

maximum_entitlement_or_status_months_required_for_als42 USC § 426 (h) · parameter

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

name: maximum_entitlement_or_status_months_required_for_als
kind: parameter
dtype: Count
source: 42 U.S.C. 426(h)(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us/statute/42/426/h
          excerpt: no requirement ... longer than 1 month
versions:
  - effective_from: '1974-01-01'
    formula: '1'

open in graph ↗

entitlement_beginning_month_ordinal_for_als42 USC § 426 (h) · parameter

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

name: entitlement_beginning_month_ordinal_for_als
kind: parameter
dtype: Count
source: 42 U.S.C. 426(h)(2)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us/statute/42/426/h
          excerpt: first month
versions:
  - effective_from: '1974-01-01'
    formula: '1'

open in graph ↗

subsection_b_disability_or_railroad_condition_satisfied_under_als_special_rule42 USC § 426 (h) · derived

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

name: subsection_b_disability_or_railroad_condition_satisfied_under_als_special_rule
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 42 U.S.C. 426(h)(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/426/h
          excerpt: >-
            individual medically determined to have amyotrophic lateral
            sclerosis (ALS)
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us/statute/42/426/h
          excerpt: no requirement ... longer than 1 month
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us:statutes/42/426/h#maximum_entitlement_or_status_months_required_for_als
          output: maximum_entitlement_or_status_months_required_for_als
          hash: sha256:local
versions:
  - effective_from: '1974-01-01'
    formula: |-
      individual_medically_determined_to_have_amyotrophic_lateral_sclerosis
      and (
        (
          (
            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 >= maximum_entitlement_or_status_months_required_for_als
        )
        or (
          disabled_qualified_railroad_retirement_beneficiary_within_meaning_of_section_231f_d
          and months_as_disabled_qualified_railroad_retirement_beneficiary >= maximum_entitlement_or_status_months_required_for_als
        )
        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 >= maximum_entitlement_or_status_months_required_for_als
        )
      )

open in graph ↗

subsection_b_entitlement_begin_month_ordinal_under_als_special_rule42 USC § 426 (h) · derived

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

name: subsection_b_entitlement_begin_month_ordinal_under_als_special_rule
kind: derived
entity: Person
dtype: Count
period: Month
source: 42 U.S.C. 426(h)(2)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/426/h
          excerpt: >-
            individual medically determined to have amyotrophic lateral
            sclerosis (ALS)
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us/statute/42/426/h
          excerpt: first month (rather than twenty-fifth month)
      - path: versions[0].formula
        kind: import
        import:
          target: us:statutes/42/426/h#entitlement_beginning_month_ordinal_for_als
          output: entitlement_beginning_month_ordinal_for_als
          hash: sha256:local
versions:
  - effective_from: '1974-01-01'
    formula: >-
      if individual_medically_determined_to_have_amyotrophic_lateral_sclerosis:
      entitlement_beginning_month_ordinal_for_als else: 0

open in graph ↗

subsection_f_not_applied_under_als_special_rule42 USC § 426 (h) · derived

42 U.S.C. 426(h)(3)

name: subsection_f_not_applied_under_als_special_rule
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 42 U.S.C. 426(h)(3)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/426/h
          excerpt: >-
            individual medically determined to have amyotrophic lateral
            sclerosis (ALS)
      - path: versions[0].formula
        kind: exception
        source:
          corpus_citation_path: us/statute/42/426/h
          excerpt: Subsection (f) shall not be applied.
versions:
  - effective_from: '1974-01-01'
    formula: individual_medically_determined_to_have_amyotrophic_lateral_sclerosis

open in graph ↗

maximum_entitlement_or_status_month_requirement_under_subsection_h42 USC § 426 (h) (1) · parameter

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

name: maximum_entitlement_or_status_month_requirement_under_subsection_h
kind: parameter
dtype: Count
source: 42 U.S.C. 426(h)(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us/statute/42/426/h/1
          excerpt: >-
            no requirement for any entitlement to benefits, or status, for a
            period longer than 1 month
versions:
  - effective_from: '1974-01-01'
    formula: '1'

open in graph ↗

entitlement_or_status_period_requirement_satisfied_under_subsection_h42 USC § 426 (h) (1) · derived

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

name: entitlement_or_status_period_requirement_satisfied_under_subsection_h
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 42 U.S.C. 426(h)(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/426/h/1
          excerpt: Subsection (b) shall be applied
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/426/h/1
          excerpt: as if there were no requirement ... for a period longer than 1 month
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us:statutes/42/426/h/1#maximum_entitlement_or_status_month_requirement_under_subsection_h
          output: maximum_entitlement_or_status_month_requirement_under_subsection_h
          hash: sha256:local
versions:
  - effective_from: '1974-01-01'
    formula: >-
      months_of_entitlement_to_benefits_or_status_for_applying_subsection_b >=
      maximum_entitlement_or_status_month_requirement_under_subsection_h

open in graph ↗

▸rulespec code

Shown source

statutes/42/426/h

Displaying the canonical repository encoding.

View on GitHub

Rules

maximum_entitlement_or_status_months_required_for_als

Parameter

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

- name: maximum_entitlement_or_status_months_required_for_als
  kind: parameter
  dtype: Count
  source: 42 U.S.C. 426(h)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/426/h
            excerpt: no requirement ... longer than 1 month
  versions:
    - effective_from: '1974-01-01'
      formula: '1'

entitlement_beginning_month_ordinal_for_als

Parameter

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

- name: entitlement_beginning_month_ordinal_for_als
  kind: parameter
  dtype: Count
  source: 42 U.S.C. 426(h)(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/426/h
            excerpt: first month
  versions:
    - effective_from: '1974-01-01'
      formula: '1'

subsection_b_disability_or_railroad_condition_satisfied_under_als_special_rule

Derived

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

- name: subsection_b_disability_or_railroad_condition_satisfied_under_als_special_rule
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 42 U.S.C. 426(h)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/426/h
            excerpt: individual medically determined to have amyotrophic lateral sclerosis (ALS)
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/426/h
            excerpt: no requirement ... longer than 1 month
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/426/h#maximum_entitlement_or_status_months_required_for_als
            output: maximum_entitlement_or_status_months_required_for_als
            hash: sha256:local
  versions:
    - effective_from: '1974-01-01'
      formula: |-
        individual_medically_determined_to_have_amyotrophic_lateral_sclerosis
        and (
          (
            (
              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 >= maximum_entitlement_or_status_months_required_for_als
          )
          or (
            disabled_qualified_railroad_retirement_beneficiary_within_meaning_of_section_231f_d
            and months_as_disabled_qualified_railroad_retirement_beneficiary >= maximum_entitlement_or_status_months_required_for_als
          )
          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 >= maximum_entitlement_or_status_months_required_for_als
          )
        )

subsection_b_entitlement_begin_month_ordinal_under_als_special_rule

Derived

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

- name: subsection_b_entitlement_begin_month_ordinal_under_als_special_rule
  kind: derived
  entity: Person
  dtype: Count
  period: Month
  source: 42 U.S.C. 426(h)(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/426/h
            excerpt: individual medically determined to have amyotrophic lateral sclerosis (ALS)
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/426/h
            excerpt: first month (rather than twenty-fifth month)
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/426/h#entitlement_beginning_month_ordinal_for_als
            output: entitlement_beginning_month_ordinal_for_als
            hash: sha256:local
  versions:
    - effective_from: '1974-01-01'
      formula: >-
        if individual_medically_determined_to_have_amyotrophic_lateral_sclerosis:
        entitlement_beginning_month_ordinal_for_als else: 0

subsection_f_not_applied_under_als_special_rule

Derived

source: 42 U.S.C. 426(h)(3)

- name: subsection_f_not_applied_under_als_special_rule
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 42 U.S.C. 426(h)(3)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/426/h
            excerpt: individual medically determined to have amyotrophic lateral sclerosis (ALS)
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us/statute/42/426/h
            excerpt: Subsection (f) shall not be applied.
  versions:
    - effective_from: '1974-01-01'
      formula: individual_medically_determined_to_have_amyotrophic_lateral_sclerosis

maximum_entitlement_or_status_month_requirement_under_subsection_h

Parameter(1) in text ↖

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

- name: maximum_entitlement_or_status_month_requirement_under_subsection_h
  kind: parameter
  dtype: Count
  source: 42 U.S.C. 426(h)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/426/h/1
            excerpt: >-
              no requirement for any entitlement to benefits, or status, for a period longer than 1
              month
  versions:
    - effective_from: '1974-01-01'
      formula: '1'

entitlement_or_status_period_requirement_satisfied_under_subsection_h

Derived(1) in text ↖

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

- name: entitlement_or_status_period_requirement_satisfied_under_subsection_h
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 42 U.S.C. 426(h)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/426/h/1
            excerpt: Subsection (b) shall be applied
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/426/h/1
            excerpt: as if there were no requirement ... for a period longer than 1 month
        - path: versions[0].formula
          kind: import
          import:
            target: >-
              us:statutes/42/426/h/1#maximum_entitlement_or_status_month_requirement_under_subsection_h
            output: maximum_entitlement_or_status_month_requirement_under_subsection_h
            hash: sha256:local
  versions:
    - effective_from: '1974-01-01'
      formula: >-
        months_of_entitlement_to_benefits_or_status_for_applying_subsection_b >=
        maximum_entitlement_or_status_month_requirement_under_subsection_h