us/statute/42/1382/a/1

loading…

3 rules

Each aged, blind, or disabled individual who does not have an eligible spouse and—

(A) whose income, other than income excluded pursuant to section 1382a(b) of this title , is at a rate of not more than $1,752 (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, other than resources excluded pursuant to section 1382b(a) of this title , are not more than (i) in case such individual has a spouse with whom he is living, the applicable amount determined under paragraph (3)(A), or (ii) in case such individual has no spouse with whom he is living, the applicable amount determined under paragraph (3)(B),

shall be an eligible individual for purposes of this subchapter.

in view

Whole section

Encodings · 3

individual_annual_income_base_limit42 USC § 1382 (a)(1) · parameter

42 USC 1382(a)(1)(A)

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

open in graph ↗

applicable_individual_annual_income_limit42 USC § 1382 (a)(1) · derived

42 USC 1382(a)(1)(A)

name: applicable_individual_annual_income_limit
kind: derived
entity: Person
dtype: Money
period: Year
unit: USD
source: 42 USC 1382(a)(1)(A)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us/statute/42/1382/a/1
          excerpt: >-
            not more than $1,752 (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/1#individual_annual_income_base_limit
          output: individual_annual_income_base_limit
          hash: sha256:local
versions:
  - effective_from: '1974-01-01'
    formula: >-
      max(individual_annual_income_base_limit,
      amount_after_subsection_a_increase)

open in graph ↗

eligible_individual42 USC § 1382 (a)(1) · derived

42 USC 1382(a)(1)

name: eligible_individual
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 42 USC 1382(a)(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/1382/a/1
          excerpt: Each aged, blind, or disabled individual
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/1382/a/1
          excerpt: does not have an eligible spouse
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/1382/a/1
          excerpt: >-
            whose income, other than income excluded pursuant to section
            1382a(b)
      - path: versions[0].formula
        kind: import
        import:
          target: us:statutes/42/1382/a/1#applicable_individual_annual_income_limit
          output: applicable_individual_annual_income_limit
          hash: sha256:local
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/1382/a/1
          excerpt: >-
            whose resources, 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
      - path: versions[0].formula
        kind: import
        import:
          target: us:statutes/42/1382/a/3#individual_no_spouse_resource_limit
          output: individual_no_spouse_resource_limit
          hash: >-
            sha256:adcb915790ccca04d6a1fda7a9b54d775625bf33020f35925ba341b55b563e6a
versions:
  - effective_from: '1974-01-01'
    formula: >-
      aged_blind_or_disabled_individual

      and not individual_has_eligible_spouse

      and annual_income_other_than_excluded_pursuant_to_section_1382a_b <=
      applicable_individual_annual_income_limit

      and (
        (
          individual_has_spouse_with_whom_living
          and resources_other_than_excluded_pursuant_to_section_1382b_a <= couple_or_living_with_spouse_resource_limit
        )
        or (
          not individual_has_spouse_with_whom_living
          and resources_other_than_excluded_pursuant_to_section_1382b_a <= individual_no_spouse_resource_limit
        )
      )

open in graph ↗

▸rulespec code

Shown source

statutes/42/1382/a/1.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

individual_annual_income_base_limit

Parameter

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

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

applicable_individual_annual_income_limit

Derived

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

- name: applicable_individual_annual_income_limit
  kind: derived
  entity: Person
  dtype: Money
  period: Year
  unit: USD
  source: 42 USC 1382(a)(1)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1382/a/1
            excerpt: not more than $1,752 (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/1#individual_annual_income_base_limit
            output: individual_annual_income_base_limit
            hash: sha256:local
  versions:
    - effective_from: '1974-01-01'
      formula: max(individual_annual_income_base_limit, amount_after_subsection_a_increase)

eligible_individual

Derived

source: 42 USC 1382(a)(1)

- name: eligible_individual
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 42 USC 1382(a)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/1382/a/1
            excerpt: Each aged, blind, or disabled individual
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/1382/a/1
            excerpt: does not have an eligible spouse
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/1382/a/1
            excerpt: whose income, other than income excluded pursuant to section 1382a(b)
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1382/a/1#applicable_individual_annual_income_limit
            output: applicable_individual_annual_income_limit
            hash: sha256:local
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/1382/a/1
            excerpt: whose resources, 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
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1382/a/3#individual_no_spouse_resource_limit
            output: individual_no_spouse_resource_limit
            hash: sha256:adcb915790ccca04d6a1fda7a9b54d775625bf33020f35925ba341b55b563e6a
  versions:
    - effective_from: '1974-01-01'
      formula: >-
        aged_blind_or_disabled_individual

        and not individual_has_eligible_spouse

        and annual_income_other_than_excluded_pursuant_to_section_1382a_b <=
        applicable_individual_annual_income_limit

        and (
          (
            individual_has_spouse_with_whom_living
            and resources_other_than_excluded_pursuant_to_section_1382b_a <= couple_or_living_with_spouse_resource_limit
          )
          or (
            not individual_has_spouse_with_whom_living
            and resources_other_than_excluded_pursuant_to_section_1382b_a <= individual_no_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/1 · Axiom

3 rules

Official source

graph ↗build calculator ↗

Each aged, blind, or disabled individual who does not have an eligible spouse and—

shall be an eligible individual for purposes of this subchapter.

in view

Whole section

Encodings · 3

individual_annual_income_base_limit42 USC § 1382 (a)(1) · parameter

42 USC 1382(a)(1)(A)

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

open in graph ↗

applicable_individual_annual_income_limit42 USC § 1382 (a)(1) · derived

42 USC 1382(a)(1)(A)

name: applicable_individual_annual_income_limit
kind: derived
entity: Person
dtype: Money
period: Year
unit: USD
source: 42 USC 1382(a)(1)(A)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us/statute/42/1382/a/1
          excerpt: >-
            not more than $1,752 (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/1#individual_annual_income_base_limit
          output: individual_annual_income_base_limit
          hash: sha256:local
versions:
  - effective_from: '1974-01-01'
    formula: >-
      max(individual_annual_income_base_limit,
      amount_after_subsection_a_increase)

open in graph ↗

eligible_individual42 USC § 1382 (a)(1) · derived

42 USC 1382(a)(1)

name: eligible_individual
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 42 USC 1382(a)(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/1382/a/1
          excerpt: Each aged, blind, or disabled individual
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/1382/a/1
          excerpt: does not have an eligible spouse
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/1382/a/1
          excerpt: >-
            whose income, other than income excluded pursuant to section
            1382a(b)
      - path: versions[0].formula
        kind: import
        import:
          target: us:statutes/42/1382/a/1#applicable_individual_annual_income_limit
          output: applicable_individual_annual_income_limit
          hash: sha256:local
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/1382/a/1
          excerpt: >-
            whose resources, 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
      - path: versions[0].formula
        kind: import
        import:
          target: us:statutes/42/1382/a/3#individual_no_spouse_resource_limit
          output: individual_no_spouse_resource_limit
          hash: >-
            sha256:adcb915790ccca04d6a1fda7a9b54d775625bf33020f35925ba341b55b563e6a
versions:
  - effective_from: '1974-01-01'
    formula: >-
      aged_blind_or_disabled_individual

      and not individual_has_eligible_spouse

      and annual_income_other_than_excluded_pursuant_to_section_1382a_b <=
      applicable_individual_annual_income_limit

      and (
        (
          individual_has_spouse_with_whom_living
          and resources_other_than_excluded_pursuant_to_section_1382b_a <= couple_or_living_with_spouse_resource_limit
        )
        or (
          not individual_has_spouse_with_whom_living
          and resources_other_than_excluded_pursuant_to_section_1382b_a <= individual_no_spouse_resource_limit
        )
      )

open in graph ↗

▸rulespec code

Shown source

statutes/42/1382/a/1.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

individual_annual_income_base_limit

Parameter

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

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

applicable_individual_annual_income_limit

Derived

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

- name: applicable_individual_annual_income_limit
  kind: derived
  entity: Person
  dtype: Money
  period: Year
  unit: USD
  source: 42 USC 1382(a)(1)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1382/a/1
            excerpt: not more than $1,752 (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/1#individual_annual_income_base_limit
            output: individual_annual_income_base_limit
            hash: sha256:local
  versions:
    - effective_from: '1974-01-01'
      formula: max(individual_annual_income_base_limit, amount_after_subsection_a_increase)

eligible_individual

Derived

source: 42 USC 1382(a)(1)

- name: eligible_individual
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 42 USC 1382(a)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/1382/a/1
            excerpt: Each aged, blind, or disabled individual
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/1382/a/1
            excerpt: does not have an eligible spouse
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/1382/a/1
            excerpt: whose income, other than income excluded pursuant to section 1382a(b)
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1382/a/1#applicable_individual_annual_income_limit
            output: applicable_individual_annual_income_limit
            hash: sha256:local
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/1382/a/1
            excerpt: whose resources, 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
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1382/a/3#individual_no_spouse_resource_limit
            output: individual_no_spouse_resource_limit
            hash: sha256:adcb915790ccca04d6a1fda7a9b54d775625bf33020f35925ba341b55b563e6a
  versions:
    - effective_from: '1974-01-01'
      formula: >-
        aged_blind_or_disabled_individual

        and not individual_has_eligible_spouse

        and annual_income_other_than_excluded_pursuant_to_section_1382a_b <=
        applicable_individual_annual_income_limit

        and (
          (
            individual_has_spouse_with_whom_living
            and resources_other_than_excluded_pursuant_to_section_1382b_a <= couple_or_living_with_spouse_resource_limit
          )
          or (
            not individual_has_spouse_with_whom_living
            and resources_other_than_excluded_pursuant_to_section_1382b_a <= individual_no_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)