us/regulation/42/435/603/k/1

loading…

Official source

(1) Consider the household to consist of only the individual for purposes of paragraph (f) of this section;

in view

Whole section

▸rulespec code

Shown source

regulations/42-cfr/435/603/k.yaml

Displaying the canonical repository encoding.

This encoding covers the parent provision us/regulation/42/435/603/k; no dedicated encoding exists for this exact provision yet.

View on GitHub

Rules

section_435_214_family_size_increase_amount

Parameter

source: 42 CFR 435.603(k)(3)

- name: section_435_214_family_size_increase_amount
  kind: parameter
  dtype: Count
  source: 42 CFR 435.603(k)(3)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/regulation/42/435/603/k
            excerpt: Increase the family size of the individual ... by one.
  versions:
    - effective_from: '0001-01-01'
      formula: '1'

section_435_214_individual_only_household_treatment_applies

Derived

source: 42 CFR 435.603(k)(1)

- name: section_435_214_individual_only_household_treatment_applies
  kind: derived
  entity: Person
  dtype: Judgment
  period: Year
  source: 42 CFR 435.603(k)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/regulation/42/435/603/k
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        eligibility_being_determined_under_section_435_214
        and agency_uses_section_435_214_individual_only_household_option

section_435_214_individual_only_household_member

Derived

source: 42 CFR 435.603(k)(1)

- name: section_435_214_individual_only_household_member
  kind: derived
  entity: Person
  dtype: Judgment
  period: Year
  source: 42 CFR 435.603(k)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/regulation/42/435/603/k
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        section_435_214_individual_only_household_treatment_applies
        and candidate_is_the_individual

section_435_214_count_only_individual_magi_based_income_treatment_applies

Derived

source: 42 CFR 435.603(k)(2)

- name: section_435_214_count_only_individual_magi_based_income_treatment_applies
  kind: derived
  entity: Person
  dtype: Judgment
  period: Year
  source: 42 CFR 435.603(k)(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/regulation/42/435/603/k
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        eligibility_being_determined_under_section_435_214
        and agency_uses_section_435_214_count_only_individual_magi_based_income_option

section_435_214_individual_magi_based_income_counted_for_paragraph_d

Derived

source: 42 CFR 435.603(k)(2)

- name: section_435_214_individual_magi_based_income_counted_for_paragraph_d
  kind: derived
  entity: Person
  dtype: Money
  period: Year
  unit: USD
  source: 42 CFR 435.603(k)(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/regulation/42/435/603/k
  versions:
    - effective_from: '0001-01-01'
      formula: >-
        if section_435_214_count_only_individual_magi_based_income_treatment_applies:
        individual_magi_based_income else: 0

section_435_214_family_size_increase_treatment_applies

Derived

source: 42 CFR 435.603(k)(3)

- name: section_435_214_family_size_increase_treatment_applies
  kind: derived
  entity: Person
  dtype: Judgment
  period: Year
  source: 42 CFR 435.603(k)(3)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/regulation/42/435/603/k
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        eligibility_being_determined_under_section_435_214
        and agency_uses_section_435_214_family_size_increase_option

section_435_214_family_size_after_optional_increase

Derived

source: 42 CFR 435.603(k)(3)

- name: section_435_214_family_size_after_optional_increase
  kind: derived
  entity: Person
  dtype: Count
  period: Year
  source: 42 CFR 435.603(k)(3)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/regulation/42/435/603/k
        - path: versions[0].formula
          kind: import
          import:
            target: us:regulations/42-cfr/435/603/k#section_435_214_family_size_increase_amount
            output: section_435_214_family_size_increase_amount
            hash: sha256:local
  versions:
    - effective_from: '0001-01-01'
      formula: >-
        family_size_defined_in_paragraph_b + (if
        section_435_214_family_size_increase_treatment_applies:
        section_435_214_family_size_increase_amount else: 0)

loading…

us/regulation/42/435/603/k/1 · Axiom

Official source

(1) Consider the household to consist of only the individual for purposes of paragraph (f) of this section;

in view

Whole section

▸rulespec code

Shown source

regulations/42-cfr/435/603/k.yaml

Displaying the canonical repository encoding.

This encoding covers the parent provision us/regulation/42/435/603/k; no dedicated encoding exists for this exact provision yet.

View on GitHub

Rules

section_435_214_family_size_increase_amount

Parameter

source: 42 CFR 435.603(k)(3)

- name: section_435_214_family_size_increase_amount
  kind: parameter
  dtype: Count
  source: 42 CFR 435.603(k)(3)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/regulation/42/435/603/k
            excerpt: Increase the family size of the individual ... by one.
  versions:
    - effective_from: '0001-01-01'
      formula: '1'

section_435_214_individual_only_household_treatment_applies

Derived

source: 42 CFR 435.603(k)(1)

- name: section_435_214_individual_only_household_treatment_applies
  kind: derived
  entity: Person
  dtype: Judgment
  period: Year
  source: 42 CFR 435.603(k)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/regulation/42/435/603/k
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        eligibility_being_determined_under_section_435_214
        and agency_uses_section_435_214_individual_only_household_option

section_435_214_individual_only_household_member

Derived

source: 42 CFR 435.603(k)(1)

- name: section_435_214_individual_only_household_member
  kind: derived
  entity: Person
  dtype: Judgment
  period: Year
  source: 42 CFR 435.603(k)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/regulation/42/435/603/k
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        section_435_214_individual_only_household_treatment_applies
        and candidate_is_the_individual

section_435_214_count_only_individual_magi_based_income_treatment_applies

Derived

source: 42 CFR 435.603(k)(2)

- name: section_435_214_count_only_individual_magi_based_income_treatment_applies
  kind: derived
  entity: Person
  dtype: Judgment
  period: Year
  source: 42 CFR 435.603(k)(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/regulation/42/435/603/k
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        eligibility_being_determined_under_section_435_214
        and agency_uses_section_435_214_count_only_individual_magi_based_income_option

section_435_214_individual_magi_based_income_counted_for_paragraph_d

Derived

source: 42 CFR 435.603(k)(2)

- name: section_435_214_individual_magi_based_income_counted_for_paragraph_d
  kind: derived
  entity: Person
  dtype: Money
  period: Year
  unit: USD
  source: 42 CFR 435.603(k)(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/regulation/42/435/603/k
  versions:
    - effective_from: '0001-01-01'
      formula: >-
        if section_435_214_count_only_individual_magi_based_income_treatment_applies:
        individual_magi_based_income else: 0

section_435_214_family_size_increase_treatment_applies

Derived

source: 42 CFR 435.603(k)(3)

- name: section_435_214_family_size_increase_treatment_applies
  kind: derived
  entity: Person
  dtype: Judgment
  period: Year
  source: 42 CFR 435.603(k)(3)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/regulation/42/435/603/k
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        eligibility_being_determined_under_section_435_214
        and agency_uses_section_435_214_family_size_increase_option

section_435_214_family_size_after_optional_increase

Derived

source: 42 CFR 435.603(k)(3)

- name: section_435_214_family_size_after_optional_increase
  kind: derived
  entity: Person
  dtype: Count
  period: Year
  source: 42 CFR 435.603(k)(3)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/regulation/42/435/603/k
        - path: versions[0].formula
          kind: import
          import:
            target: us:regulations/42-cfr/435/603/k#section_435_214_family_size_increase_amount
            output: section_435_214_family_size_increase_amount
            hash: sha256:local
  versions:
    - effective_from: '0001-01-01'
      formula: >-
        family_size_defined_in_paragraph_b + (if
        section_435_214_family_size_increase_treatment_applies:
        section_435_214_family_size_increase_amount else: 0)