us/statute/42/1382/a/2

loading…

3 rules

Each aged, blind, or disabled individual who has an eligible spouse and—

(A) whose income (together with the income of such spouse), other than income excluded pursuant to section 1382a(b) of this title , is at a rate of not more than $2,628 (or, if greater, the amount determined under section 1382f of this title ) for the calendar year 1974, or any calendar year thereafter, and

(B) whose resources (together with the resources of such spouse), other than resources excluded pursuant to section 1382b(a) of this title , are not more than the applicable amount determined under paragraph (3)(A),

shall be an eligible individual for purposes of this subchapter.

in view

Whole section

Encodings · 3

couple_annual_income_base_limit42 USC § 1382 (a)(2) (a) · parameter

42 USC 1382(a)(2)(A)

name: couple_annual_income_base_limit
kind: parameter
dtype: Money
unit: USD
source: 42 USC 1382(a)(2)(A)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: amount
        source:
          corpus_citation_path: us/statute/42/1382/a/2
          excerpt: not more than $2,628
      - path: versions[0].formula
        kind: unit
        source:
          corpus_citation_path: us/statute/42/1382/a/2
          excerpt: $2,628
      - path: versions[0].effective_from
        kind: effective_period
        source:
          corpus_citation_path: us/statute/42/1382/a/2
          excerpt: for the calendar year 1974, or any calendar year thereafter
versions:
  - effective_from: '1974-01-01'
    formula: '2628'

open in graph ↗

applicable_couple_annual_income_limit42 USC § 1382 (a)(2) (a) · derived

42 USC 1382(a)(2)(A)

name: applicable_couple_annual_income_limit
kind: derived
entity: Person
dtype: Money
period: Year
unit: USD
source: 42 USC 1382(a)(2)(A)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us/statute/42/1382/a/2
          excerpt: >-
            not more than $2,628 (or, if greater, the amount determined under
            section 1382f
      - path: versions[0].formula
        kind: import
        import:
          target: us:statutes/42/1382f/a#amount_after_subsection_a_increase
          output: amount_after_subsection_a_increase
          hash: >-
            sha256:502268310fe317b035772003201f91a2006fab334630e90ead5b2cc591433048
      - path: versions[0].formula
        kind: import
        import:
          target: us:statutes/42/1382/a/2#couple_annual_income_base_limit
          output: couple_annual_income_base_limit
          hash: sha256:local
versions:
  - effective_from: '1974-01-01'
    formula: max(couple_annual_income_base_limit, amount_after_subsection_a_increase)

open in graph ↗

eligible_individual_with_eligible_spouse42 USC § 1382 (a)(2) (a) · derived

42 USC 1382(a)(2)

name: eligible_individual_with_eligible_spouse
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 42 USC 1382(a)(2)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/1382/a/2
          excerpt: Each aged, blind, or disabled individual
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/1382/a/2
          excerpt: who has an eligible spouse
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/1382/a/2
          excerpt: >-
            whose income (together with the income of such spouse), other than
            income excluded pursuant to section 1382a(b)
      - path: versions[0].formula
        kind: import
        import:
          target: us:statutes/42/1382/a/2#applicable_couple_annual_income_limit
          output: applicable_couple_annual_income_limit
          hash: sha256:local
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/1382/a/2
          excerpt: >-
            whose resources (together with the resources of such spouse), other
            than resources excluded pursuant to section 1382b(a)
      - path: versions[0].formula
        kind: import
        import:
          target: us:statutes/42/1382c/a/1#aged_blind_or_disabled_individual
          output: aged_blind_or_disabled_individual
          hash: >-
            sha256:c275ea56e2d71cc7cd5338993032e28442f0f8e0cb27efcf41134e84db3e9984
      - path: versions[0].formula
        kind: import
        import:
          target: us:statutes/42/1382/a/3#couple_or_living_with_spouse_resource_limit
          output: couple_or_living_with_spouse_resource_limit
          hash: >-
            sha256:adcb915790ccca04d6a1fda7a9b54d775625bf33020f35925ba341b55b563e6a
versions:
  - effective_from: '1974-01-01'
    formula: >-
      aged_blind_or_disabled_individual

      and individual_has_eligible_spouse

      and combined_annual_income_other_than_excluded_pursuant_to_section_1382a_b
      <= applicable_couple_annual_income_limit

      and combined_resources_other_than_excluded_pursuant_to_section_1382b_a <=
      couple_or_living_with_spouse_resource_limit

open in graph ↗

▸rulespec code

Shown source

statutes/42/1382/a/2.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

couple_annual_income_base_limit

Parameter(a) in text ↖

source: 42 USC 1382(a)(2)(A)

- name: couple_annual_income_base_limit
  kind: parameter
  dtype: Money
  unit: USD
  source: 42 USC 1382(a)(2)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/1382/a/2
            excerpt: not more than $2,628
        - path: versions[0].formula
          kind: unit
          source:
            corpus_citation_path: us/statute/42/1382/a/2
            excerpt: $2,628
        - path: versions[0].effective_from
          kind: effective_period
          source:
            corpus_citation_path: us/statute/42/1382/a/2
            excerpt: for the calendar year 1974, or any calendar year thereafter
  versions:
    - effective_from: '1974-01-01'
      formula: '2628'

applicable_couple_annual_income_limit

Derived(a) in text ↖

source: 42 USC 1382(a)(2)(A)

- name: applicable_couple_annual_income_limit
  kind: derived
  entity: Person
  dtype: Money
  period: Year
  unit: USD
  source: 42 USC 1382(a)(2)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1382/a/2
            excerpt: not more than $2,628 (or, if greater, the amount determined under section 1382f
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1382f/a#amount_after_subsection_a_increase
            output: amount_after_subsection_a_increase
            hash: sha256:502268310fe317b035772003201f91a2006fab334630e90ead5b2cc591433048
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1382/a/2#couple_annual_income_base_limit
            output: couple_annual_income_base_limit
            hash: sha256:local
  versions:
    - effective_from: '1974-01-01'
      formula: max(couple_annual_income_base_limit, amount_after_subsection_a_increase)

eligible_individual_with_eligible_spouse

Derived(a) in text ↖

source: 42 USC 1382(a)(2)

- name: eligible_individual_with_eligible_spouse
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 42 USC 1382(a)(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/1382/a/2
            excerpt: Each aged, blind, or disabled individual
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/1382/a/2
            excerpt: who has an eligible spouse
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/1382/a/2
            excerpt: >-
              whose income (together with the income of such spouse), other than income excluded
              pursuant to section 1382a(b)
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1382/a/2#applicable_couple_annual_income_limit
            output: applicable_couple_annual_income_limit
            hash: sha256:local
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/1382/a/2
            excerpt: >-
              whose resources (together with the resources of such spouse), other than resources
              excluded pursuant to section 1382b(a)
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1382c/a/1#aged_blind_or_disabled_individual
            output: aged_blind_or_disabled_individual
            hash: sha256:c275ea56e2d71cc7cd5338993032e28442f0f8e0cb27efcf41134e84db3e9984
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1382/a/3#couple_or_living_with_spouse_resource_limit
            output: couple_or_living_with_spouse_resource_limit
            hash: sha256:adcb915790ccca04d6a1fda7a9b54d775625bf33020f35925ba341b55b563e6a
  versions:
    - effective_from: '1974-01-01'
      formula: >-
        aged_blind_or_disabled_individual

        and individual_has_eligible_spouse

        and combined_annual_income_other_than_excluded_pursuant_to_section_1382a_b <=
        applicable_couple_annual_income_limit

        and combined_resources_other_than_excluded_pursuant_to_section_1382b_a <=
        couple_or_living_with_spouse_resource_limit

▸citations (3)

References

This rule cites 3 other rules.

42 USC § 1382a (b)inferredUS Federal › Statutes › Title 42 › § 1382a › (b)
42 USC § 1382finferredUS Federal › Statutes › Title 42 › § 1382f
42 USC § 1382b (a)inferredUS Federal › Statutes › Title 42 › § 1382b › (a)

loading…

us/statute/42/1382/a/2 · Axiom

3 rules

Official source

graph ↗build calculator ↗

Each aged, blind, or disabled individual who has an eligible spouse and—

shall be an eligible individual for purposes of this subchapter.

in view

Whole section

Encodings · 3

couple_annual_income_base_limit42 USC § 1382 (a)(2) (a) · parameter

42 USC 1382(a)(2)(A)

name: couple_annual_income_base_limit
kind: parameter
dtype: Money
unit: USD
source: 42 USC 1382(a)(2)(A)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: amount
        source:
          corpus_citation_path: us/statute/42/1382/a/2
          excerpt: not more than $2,628
      - path: versions[0].formula
        kind: unit
        source:
          corpus_citation_path: us/statute/42/1382/a/2
          excerpt: $2,628
      - path: versions[0].effective_from
        kind: effective_period
        source:
          corpus_citation_path: us/statute/42/1382/a/2
          excerpt: for the calendar year 1974, or any calendar year thereafter
versions:
  - effective_from: '1974-01-01'
    formula: '2628'

open in graph ↗

applicable_couple_annual_income_limit42 USC § 1382 (a)(2) (a) · derived

42 USC 1382(a)(2)(A)

name: applicable_couple_annual_income_limit
kind: derived
entity: Person
dtype: Money
period: Year
unit: USD
source: 42 USC 1382(a)(2)(A)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us/statute/42/1382/a/2
          excerpt: >-
            not more than $2,628 (or, if greater, the amount determined under
            section 1382f
      - path: versions[0].formula
        kind: import
        import:
          target: us:statutes/42/1382f/a#amount_after_subsection_a_increase
          output: amount_after_subsection_a_increase
          hash: >-
            sha256:502268310fe317b035772003201f91a2006fab334630e90ead5b2cc591433048
      - path: versions[0].formula
        kind: import
        import:
          target: us:statutes/42/1382/a/2#couple_annual_income_base_limit
          output: couple_annual_income_base_limit
          hash: sha256:local
versions:
  - effective_from: '1974-01-01'
    formula: max(couple_annual_income_base_limit, amount_after_subsection_a_increase)

open in graph ↗

eligible_individual_with_eligible_spouse42 USC § 1382 (a)(2) (a) · derived

42 USC 1382(a)(2)

name: eligible_individual_with_eligible_spouse
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 42 USC 1382(a)(2)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/1382/a/2
          excerpt: Each aged, blind, or disabled individual
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/1382/a/2
          excerpt: who has an eligible spouse
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/1382/a/2
          excerpt: >-
            whose income (together with the income of such spouse), other than
            income excluded pursuant to section 1382a(b)
      - path: versions[0].formula
        kind: import
        import:
          target: us:statutes/42/1382/a/2#applicable_couple_annual_income_limit
          output: applicable_couple_annual_income_limit
          hash: sha256:local
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/1382/a/2
          excerpt: >-
            whose resources (together with the resources of such spouse), other
            than resources excluded pursuant to section 1382b(a)
      - path: versions[0].formula
        kind: import
        import:
          target: us:statutes/42/1382c/a/1#aged_blind_or_disabled_individual
          output: aged_blind_or_disabled_individual
          hash: >-
            sha256:c275ea56e2d71cc7cd5338993032e28442f0f8e0cb27efcf41134e84db3e9984
      - path: versions[0].formula
        kind: import
        import:
          target: us:statutes/42/1382/a/3#couple_or_living_with_spouse_resource_limit
          output: couple_or_living_with_spouse_resource_limit
          hash: >-
            sha256:adcb915790ccca04d6a1fda7a9b54d775625bf33020f35925ba341b55b563e6a
versions:
  - effective_from: '1974-01-01'
    formula: >-
      aged_blind_or_disabled_individual

      and individual_has_eligible_spouse

      and combined_annual_income_other_than_excluded_pursuant_to_section_1382a_b
      <= applicable_couple_annual_income_limit

      and combined_resources_other_than_excluded_pursuant_to_section_1382b_a <=
      couple_or_living_with_spouse_resource_limit

open in graph ↗

▸rulespec code

Shown source

statutes/42/1382/a/2.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

couple_annual_income_base_limit

Parameter(a) in text ↖

source: 42 USC 1382(a)(2)(A)

- name: couple_annual_income_base_limit
  kind: parameter
  dtype: Money
  unit: USD
  source: 42 USC 1382(a)(2)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/1382/a/2
            excerpt: not more than $2,628
        - path: versions[0].formula
          kind: unit
          source:
            corpus_citation_path: us/statute/42/1382/a/2
            excerpt: $2,628
        - path: versions[0].effective_from
          kind: effective_period
          source:
            corpus_citation_path: us/statute/42/1382/a/2
            excerpt: for the calendar year 1974, or any calendar year thereafter
  versions:
    - effective_from: '1974-01-01'
      formula: '2628'

applicable_couple_annual_income_limit

Derived(a) in text ↖

source: 42 USC 1382(a)(2)(A)

- name: applicable_couple_annual_income_limit
  kind: derived
  entity: Person
  dtype: Money
  period: Year
  unit: USD
  source: 42 USC 1382(a)(2)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1382/a/2
            excerpt: not more than $2,628 (or, if greater, the amount determined under section 1382f
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1382f/a#amount_after_subsection_a_increase
            output: amount_after_subsection_a_increase
            hash: sha256:502268310fe317b035772003201f91a2006fab334630e90ead5b2cc591433048
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1382/a/2#couple_annual_income_base_limit
            output: couple_annual_income_base_limit
            hash: sha256:local
  versions:
    - effective_from: '1974-01-01'
      formula: max(couple_annual_income_base_limit, amount_after_subsection_a_increase)

eligible_individual_with_eligible_spouse

Derived(a) in text ↖

source: 42 USC 1382(a)(2)

- name: eligible_individual_with_eligible_spouse
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 42 USC 1382(a)(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/1382/a/2
            excerpt: Each aged, blind, or disabled individual
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/1382/a/2
            excerpt: who has an eligible spouse
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/1382/a/2
            excerpt: >-
              whose income (together with the income of such spouse), other than income excluded
              pursuant to section 1382a(b)
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1382/a/2#applicable_couple_annual_income_limit
            output: applicable_couple_annual_income_limit
            hash: sha256:local
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/1382/a/2
            excerpt: >-
              whose resources (together with the resources of such spouse), other than resources
              excluded pursuant to section 1382b(a)
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1382c/a/1#aged_blind_or_disabled_individual
            output: aged_blind_or_disabled_individual
            hash: sha256:c275ea56e2d71cc7cd5338993032e28442f0f8e0cb27efcf41134e84db3e9984
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1382/a/3#couple_or_living_with_spouse_resource_limit
            output: couple_or_living_with_spouse_resource_limit
            hash: sha256:adcb915790ccca04d6a1fda7a9b54d775625bf33020f35925ba341b55b563e6a
  versions:
    - effective_from: '1974-01-01'
      formula: >-
        aged_blind_or_disabled_individual

        and individual_has_eligible_spouse

        and combined_annual_income_other_than_excluded_pursuant_to_section_1382a_b <=
        applicable_couple_annual_income_limit

        and combined_resources_other_than_excluded_pursuant_to_section_1382b_a <=
        couple_or_living_with_spouse_resource_limit

▸citations (3)

References

This rule cites 3 other rules.

42 USC § 1382a (b)inferredUS Federal › Statutes › Title 42 › § 1382a › (b)
42 USC § 1382finferredUS Federal › Statutes › Title 42 › § 1382f
42 USC § 1382b (a)inferredUS Federal › Statutes › Title 42 › § 1382b › (a)