loading…

Students

16 rules0 of 8 subsections

in view

Whole section

Encodings · 16

student_under_age_exception_threshold_years7 USC § 2015 (e) · parameter

7 U.S.C. 2015(e)(1)

name: student_under_age_exception_threshold_years
kind: parameter
dtype: Count
source: 7 U.S.C. 2015(e)(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: amount
        source:
          corpus_citation_path: us/statute/7/2015
versions:
  - effective_from: '2008-10-01'
    formula: '18'

open in graph ↗

student_older_age_exception_threshold_years7 USC § 2015 (e) · parameter

7 U.S.C. 2015(e)(1)

name: student_older_age_exception_threshold_years
kind: parameter
dtype: Count
source: 7 U.S.C. 2015(e)(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: amount
        source:
          corpus_citation_path: us/statute/7/2015
versions:
  - effective_from: '2008-10-01'
    formula: '50'

open in graph ↗

snap_employment_and_training_career_technical_program_max_years7 USC § 2015 (e) · parameter

7 U.S.C. 2015(e)(3)(B)(i)

name: snap_employment_and_training_career_technical_program_max_years
kind: parameter
dtype: Count
source: 7 U.S.C. 2015(e)(3)(B)(i)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: amount
        source:
          corpus_citation_path: us/statute/7/2015
versions:
  - effective_from: '2008-10-01'
    formula: '4'

open in graph ↗

student_minimum_employment_hours_per_week7 USC § 2015 (e) · parameter

7 U.S.C. 2015(e)(4)

name: student_minimum_employment_hours_per_week
kind: parameter
dtype: Count
source: 7 U.S.C. 2015(e)(4)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: amount
        source:
          corpus_citation_path: us/statute/7/2015
versions:
  - effective_from: '2008-10-01'
    formula: '20'

open in graph ↗

student_parent_young_child_age_threshold_years7 USC § 2015 (e) · parameter

7 U.S.C. 2015(e)(5)(A)

name: student_parent_young_child_age_threshold_years
kind: parameter
dtype: Count
source: 7 U.S.C. 2015(e)(5)(A)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: amount
        source:
          corpus_citation_path: us/statute/7/2015
versions:
  - effective_from: '2008-10-01'
    formula: '6'

open in graph ↗

student_parent_older_child_lower_age_threshold_years7 USC § 2015 (e) · parameter

7 U.S.C. 2015(e)(5)(B)

name: student_parent_older_child_lower_age_threshold_years
kind: parameter
dtype: Count
source: 7 U.S.C. 2015(e)(5)(B)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: amount
        source:
          corpus_citation_path: us/statute/7/2015
versions:
  - effective_from: '2008-10-01'
    formula: '5'

open in graph ↗

student_parent_older_child_upper_age_threshold_years7 USC § 2015 (e) · parameter

7 U.S.C. 2015(e)(5)(B)

name: student_parent_older_child_upper_age_threshold_years
kind: parameter
dtype: Count
source: 7 U.S.C. 2015(e)(5)(B)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: amount
        source:
          corpus_citation_path: us/statute/7/2015
versions:
  - effective_from: '2008-10-01'
    formula: '12'

open in graph ↗

student_single_parent_child_age_threshold_years7 USC § 2015 (e) · parameter

7 U.S.C. 2015(e)(8)

name: student_single_parent_child_age_threshold_years
kind: parameter
dtype: Count
source: 7 U.S.C. 2015(e)(8)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: amount
        source:
          corpus_citation_path: us/statute/7/2015
versions:
  - effective_from: '2008-10-01'
    formula: '12'

open in graph ↗

student_age_exception_applies7 USC § 2015 (e) · derived

7 U.S.C. 2015(e)(1)

name: student_age_exception_applies
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 7 U.S.C. 2015(e)(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/7/2015
versions:
  - effective_from: '2008-10-01'
    formula: |-
      person_age_years < student_under_age_exception_threshold_years
      or person_age_years >= student_older_age_exception_threshold_years

open in graph ↗

snap_employment_and_training_course_condition_applies7 USC § 2015 (e) · derived

7 U.S.C. 2015(e)(3)(B)

name: snap_employment_and_training_course_condition_applies
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 7 U.S.C. 2015(e)(3)(B)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/7/2015
versions:
  - effective_from: '2008-10-01'
    formula: >-
      (
        program_of_study_is_part_of_career_and_technical_education
        and program_of_study_may_be_completed_in_years <= snap_employment_and_training_career_technical_program_max_years
        and program_of_study_is_at_institution_of_higher_education
      )

      or
      program_of_study_limited_to_remedial_courses_basic_adult_education_literacy_or_english_as_second_language

open in graph ↗

student_assignment_or_placement_exception_applies7 USC § 2015 (e) · derived

7 U.S.C. 2015(e)(3)

name: student_assignment_or_placement_exception_applies
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 7 U.S.C. 2015(e)(3)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: exception
        source:
          corpus_citation_path: us/statute/7/2015
versions:
  - effective_from: '2008-10-01'
    formula: >-
      person_assigned_to_or_placed_in_ihe_through_or_in_compliance_with_wioa_title_i_program

      or (
        person_assigned_to_or_placed_in_ihe_through_or_in_compliance_with_snap_employment_and_training_program
        and snap_employment_and_training_course_condition_applies
      )

      or
      person_assigned_to_or_placed_in_ihe_through_or_in_compliance_with_trade_adjustment_assistance_program_under_19_usc_2296

      or (
        person_assigned_to_or_placed_in_ihe_through_or_in_compliance_with_other_state_or_local_government_employment_and_training_program
        and secretary_determined_other_state_or_local_government_employment_and_training_program_appropriate
      )

open in graph ↗

student_work_exception_applies7 USC § 2015 (e) · derived

7 U.S.C. 2015(e)(4)

name: student_work_exception_applies
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 7 U.S.C. 2015(e)(4)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: exception
        source:
          corpus_citation_path: us/statute/7/2015
versions:
  - effective_from: '2008-10-01'
    formula: >-
      employed_hours_per_week >= student_minimum_employment_hours_per_week

      or
      person_participates_in_state_or_federally_financed_work_study_program_during_regular_school_year

open in graph ↗

student_parent_child_care_exception_applies7 USC § 2015 (e) · derived

7 U.S.C. 2015(e)(5)

name: student_parent_child_care_exception_applies
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 7 U.S.C. 2015(e)(5)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: exception
        source:
          corpus_citation_path: us/statute/7/2015
versions:
  - effective_from: '2008-10-01'
    formula: |-
      person_is_parent_with_responsibility_for_care_of_dependent_child
      and (
        dependent_child_age_years < student_parent_young_child_age_threshold_years
        or (
          dependent_child_age_years > student_parent_older_child_lower_age_threshold_years
          and dependent_child_age_years < student_parent_older_child_upper_age_threshold_years
          and adequate_child_care_not_available_to_enable_individual_to_attend_class_and_satisfy_paragraph_4
        )
      )

open in graph ↗

student_single_parent_exception_applies7 USC § 2015 (e) · derived

7 U.S.C. 2015(e)(8)

name: student_single_parent_exception_applies
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 7 U.S.C. 2015(e)(8)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: exception
        source:
          corpus_citation_path: us/statute/7/2015
versions:
  - effective_from: '2008-10-01'
    formula: >-
      person_is_enrolled_full_time_in_institution_of_higher_education_as_determined_by_institution

      and
      person_is_single_parent_with_responsibility_for_care_of_dependent_child

      and dependent_child_age_years <
      student_single_parent_child_age_threshold_years

open in graph ↗

student_exception_applies7 USC § 2015 (e) · derived

7 U.S.C. 2015(e)(1)-(8)

name: student_exception_applies
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 7 U.S.C. 2015(e)(1)-(8)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: exception
        source:
          corpus_citation_path: us/statute/7/2015
versions:
  - effective_from: '2008-10-01'
    formula: >-
      student_age_exception_applies

      or person_is_not_physically_or_mentally_fit

      or student_assignment_or_placement_exception_applies

      or student_work_exception_applies

      or student_parent_child_care_exception_applies

      or
      person_receiving_benefits_under_state_program_funded_under_part_a_title_iv_social_security_act

      or
      person_enrolled_as_result_of_participation_in_work_incentive_program_under_title_iv_social_security_act_or_successor

      or student_single_parent_exception_applies

open in graph ↗

student_ineligible_for_snap_participation7 USC § 2015 (e) · derived

7 U.S.C. 2015(e)

name: student_ineligible_for_snap_participation
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 7 U.S.C. 2015(e)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/7/2015
versions:
  - effective_from: '2008-10-01'
    formula: >-
      person_is_member_of_household_otherwise_eligible_to_participate_under_this_section

      and
      person_is_enrolled_at_least_half_time_in_institution_of_higher_education

      and not student_exception_applies

open in graph ↗

▸rulespec code

Shown source

statutes/7/2015/e.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

student_under_age_exception_threshold_years

Parameter

source: 7 U.S.C. 2015(e)(1)

- name: student_under_age_exception_threshold_years
  kind: parameter
  dtype: Count
  source: 7 U.S.C. 2015(e)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/7/2015
  versions:
    - effective_from: '2008-10-01'
      formula: '18'

student_older_age_exception_threshold_years

Parameter

source: 7 U.S.C. 2015(e)(1)

- name: student_older_age_exception_threshold_years
  kind: parameter
  dtype: Count
  source: 7 U.S.C. 2015(e)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/7/2015
  versions:
    - effective_from: '2008-10-01'
      formula: '50'

snap_employment_and_training_career_technical_program_max_years

Parameter

source: 7 U.S.C. 2015(e)(3)(B)(i)

- name: snap_employment_and_training_career_technical_program_max_years
  kind: parameter
  dtype: Count
  source: 7 U.S.C. 2015(e)(3)(B)(i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/7/2015
  versions:
    - effective_from: '2008-10-01'
      formula: '4'

student_minimum_employment_hours_per_week

Parameter

source: 7 U.S.C. 2015(e)(4)

- name: student_minimum_employment_hours_per_week
  kind: parameter
  dtype: Count
  source: 7 U.S.C. 2015(e)(4)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/7/2015
  versions:
    - effective_from: '2008-10-01'
      formula: '20'

student_parent_young_child_age_threshold_years

Parameter

source: 7 U.S.C. 2015(e)(5)(A)

- name: student_parent_young_child_age_threshold_years
  kind: parameter
  dtype: Count
  source: 7 U.S.C. 2015(e)(5)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/7/2015
  versions:
    - effective_from: '2008-10-01'
      formula: '6'

student_parent_older_child_lower_age_threshold_years

Parameter

source: 7 U.S.C. 2015(e)(5)(B)

- name: student_parent_older_child_lower_age_threshold_years
  kind: parameter
  dtype: Count
  source: 7 U.S.C. 2015(e)(5)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/7/2015
  versions:
    - effective_from: '2008-10-01'
      formula: '5'

student_parent_older_child_upper_age_threshold_years

Parameter

source: 7 U.S.C. 2015(e)(5)(B)

- name: student_parent_older_child_upper_age_threshold_years
  kind: parameter
  dtype: Count
  source: 7 U.S.C. 2015(e)(5)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/7/2015
  versions:
    - effective_from: '2008-10-01'
      formula: '12'

student_single_parent_child_age_threshold_years

Parameter

source: 7 U.S.C. 2015(e)(8)

- name: student_single_parent_child_age_threshold_years
  kind: parameter
  dtype: Count
  source: 7 U.S.C. 2015(e)(8)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/7/2015
  versions:
    - effective_from: '2008-10-01'
      formula: '12'

student_age_exception_applies

Derived

source: 7 U.S.C. 2015(e)(1)

- name: student_age_exception_applies
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 7 U.S.C. 2015(e)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/7/2015
  versions:
    - effective_from: '2008-10-01'
      formula: |-
        person_age_years < student_under_age_exception_threshold_years
        or person_age_years >= student_older_age_exception_threshold_years

snap_employment_and_training_course_condition_applies

Derived

source: 7 U.S.C. 2015(e)(3)(B)

- name: snap_employment_and_training_course_condition_applies
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 7 U.S.C. 2015(e)(3)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/7/2015
  versions:
    - effective_from: '2008-10-01'
      formula: >-
        (
          program_of_study_is_part_of_career_and_technical_education
          and program_of_study_may_be_completed_in_years <= snap_employment_and_training_career_technical_program_max_years
          and program_of_study_is_at_institution_of_higher_education
        )

        or
        program_of_study_limited_to_remedial_courses_basic_adult_education_literacy_or_english_as_second_language

student_assignment_or_placement_exception_applies

Derived

source: 7 U.S.C. 2015(e)(3)

- name: student_assignment_or_placement_exception_applies
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 7 U.S.C. 2015(e)(3)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us/statute/7/2015
  versions:
    - effective_from: '2008-10-01'
      formula: >-
        person_assigned_to_or_placed_in_ihe_through_or_in_compliance_with_wioa_title_i_program

        or (
          person_assigned_to_or_placed_in_ihe_through_or_in_compliance_with_snap_employment_and_training_program
          and snap_employment_and_training_course_condition_applies
        )

        or
        person_assigned_to_or_placed_in_ihe_through_or_in_compliance_with_trade_adjustment_assistance_program_under_19_usc_2296

        or (
          person_assigned_to_or_placed_in_ihe_through_or_in_compliance_with_other_state_or_local_government_employment_and_training_program
          and secretary_determined_other_state_or_local_government_employment_and_training_program_appropriate
        )

student_work_exception_applies

Derived

source: 7 U.S.C. 2015(e)(4)

- name: student_work_exception_applies
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 7 U.S.C. 2015(e)(4)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us/statute/7/2015
  versions:
    - effective_from: '2008-10-01'
      formula: >-
        employed_hours_per_week >= student_minimum_employment_hours_per_week

        or
        person_participates_in_state_or_federally_financed_work_study_program_during_regular_school_year

student_parent_child_care_exception_applies

Derived

source: 7 U.S.C. 2015(e)(5)

- name: student_parent_child_care_exception_applies
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 7 U.S.C. 2015(e)(5)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us/statute/7/2015
  versions:
    - effective_from: '2008-10-01'
      formula: |-
        person_is_parent_with_responsibility_for_care_of_dependent_child
        and (
          dependent_child_age_years < student_parent_young_child_age_threshold_years
          or (
            dependent_child_age_years > student_parent_older_child_lower_age_threshold_years
            and dependent_child_age_years < student_parent_older_child_upper_age_threshold_years
            and adequate_child_care_not_available_to_enable_individual_to_attend_class_and_satisfy_paragraph_4
          )
        )

student_single_parent_exception_applies

Derived

source: 7 U.S.C. 2015(e)(8)

- name: student_single_parent_exception_applies
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 7 U.S.C. 2015(e)(8)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us/statute/7/2015
  versions:
    - effective_from: '2008-10-01'
      formula: |-
        person_is_enrolled_full_time_in_institution_of_higher_education_as_determined_by_institution
        and person_is_single_parent_with_responsibility_for_care_of_dependent_child
        and dependent_child_age_years < student_single_parent_child_age_threshold_years

student_exception_applies

Derived

source: 7 U.S.C. 2015(e)(1)-(8)

- name: student_exception_applies
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 7 U.S.C. 2015(e)(1)-(8)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us/statute/7/2015
  versions:
    - effective_from: '2008-10-01'
      formula: >-
        student_age_exception_applies

        or person_is_not_physically_or_mentally_fit

        or student_assignment_or_placement_exception_applies

        or student_work_exception_applies

        or student_parent_child_care_exception_applies

        or
        person_receiving_benefits_under_state_program_funded_under_part_a_title_iv_social_security_act

        or
        person_enrolled_as_result_of_participation_in_work_incentive_program_under_title_iv_social_security_act_or_successor

        or student_single_parent_exception_applies

student_ineligible_for_snap_participation

Derived

source: 7 U.S.C. 2015(e)

- name: student_ineligible_for_snap_participation
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 7 U.S.C. 2015(e)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/7/2015
  versions:
    - effective_from: '2008-10-01'
      formula: |-
        person_is_member_of_household_otherwise_eligible_to_participate_under_this_section
        and person_is_enrolled_at_least_half_time_in_institution_of_higher_education
        and not student_exception_applies

loading…

us/statute/7/2015/e — Students · Axiom

Students

16 rules0 of 8 subsections

in view

Whole section

Encodings · 16

student_under_age_exception_threshold_years7 USC § 2015 (e) · parameter

7 U.S.C. 2015(e)(1)

name: student_under_age_exception_threshold_years
kind: parameter
dtype: Count
source: 7 U.S.C. 2015(e)(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: amount
        source:
          corpus_citation_path: us/statute/7/2015
versions:
  - effective_from: '2008-10-01'
    formula: '18'

open in graph ↗

student_older_age_exception_threshold_years7 USC § 2015 (e) · parameter

7 U.S.C. 2015(e)(1)

name: student_older_age_exception_threshold_years
kind: parameter
dtype: Count
source: 7 U.S.C. 2015(e)(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: amount
        source:
          corpus_citation_path: us/statute/7/2015
versions:
  - effective_from: '2008-10-01'
    formula: '50'

open in graph ↗

snap_employment_and_training_career_technical_program_max_years7 USC § 2015 (e) · parameter

7 U.S.C. 2015(e)(3)(B)(i)

name: snap_employment_and_training_career_technical_program_max_years
kind: parameter
dtype: Count
source: 7 U.S.C. 2015(e)(3)(B)(i)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: amount
        source:
          corpus_citation_path: us/statute/7/2015
versions:
  - effective_from: '2008-10-01'
    formula: '4'

open in graph ↗

student_minimum_employment_hours_per_week7 USC § 2015 (e) · parameter

7 U.S.C. 2015(e)(4)

name: student_minimum_employment_hours_per_week
kind: parameter
dtype: Count
source: 7 U.S.C. 2015(e)(4)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: amount
        source:
          corpus_citation_path: us/statute/7/2015
versions:
  - effective_from: '2008-10-01'
    formula: '20'

open in graph ↗

student_parent_young_child_age_threshold_years7 USC § 2015 (e) · parameter

7 U.S.C. 2015(e)(5)(A)

name: student_parent_young_child_age_threshold_years
kind: parameter
dtype: Count
source: 7 U.S.C. 2015(e)(5)(A)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: amount
        source:
          corpus_citation_path: us/statute/7/2015
versions:
  - effective_from: '2008-10-01'
    formula: '6'

open in graph ↗

student_parent_older_child_lower_age_threshold_years7 USC § 2015 (e) · parameter

7 U.S.C. 2015(e)(5)(B)

name: student_parent_older_child_lower_age_threshold_years
kind: parameter
dtype: Count
source: 7 U.S.C. 2015(e)(5)(B)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: amount
        source:
          corpus_citation_path: us/statute/7/2015
versions:
  - effective_from: '2008-10-01'
    formula: '5'

open in graph ↗

student_parent_older_child_upper_age_threshold_years7 USC § 2015 (e) · parameter

7 U.S.C. 2015(e)(5)(B)

name: student_parent_older_child_upper_age_threshold_years
kind: parameter
dtype: Count
source: 7 U.S.C. 2015(e)(5)(B)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: amount
        source:
          corpus_citation_path: us/statute/7/2015
versions:
  - effective_from: '2008-10-01'
    formula: '12'

open in graph ↗

student_single_parent_child_age_threshold_years7 USC § 2015 (e) · parameter

7 U.S.C. 2015(e)(8)

name: student_single_parent_child_age_threshold_years
kind: parameter
dtype: Count
source: 7 U.S.C. 2015(e)(8)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: amount
        source:
          corpus_citation_path: us/statute/7/2015
versions:
  - effective_from: '2008-10-01'
    formula: '12'

open in graph ↗

student_age_exception_applies7 USC § 2015 (e) · derived

7 U.S.C. 2015(e)(1)

name: student_age_exception_applies
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 7 U.S.C. 2015(e)(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/7/2015
versions:
  - effective_from: '2008-10-01'
    formula: |-
      person_age_years < student_under_age_exception_threshold_years
      or person_age_years >= student_older_age_exception_threshold_years

open in graph ↗

snap_employment_and_training_course_condition_applies7 USC § 2015 (e) · derived

7 U.S.C. 2015(e)(3)(B)

name: snap_employment_and_training_course_condition_applies
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 7 U.S.C. 2015(e)(3)(B)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/7/2015
versions:
  - effective_from: '2008-10-01'
    formula: >-
      (
        program_of_study_is_part_of_career_and_technical_education
        and program_of_study_may_be_completed_in_years <= snap_employment_and_training_career_technical_program_max_years
        and program_of_study_is_at_institution_of_higher_education
      )

      or
      program_of_study_limited_to_remedial_courses_basic_adult_education_literacy_or_english_as_second_language

open in graph ↗

student_assignment_or_placement_exception_applies7 USC § 2015 (e) · derived

7 U.S.C. 2015(e)(3)

name: student_assignment_or_placement_exception_applies
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 7 U.S.C. 2015(e)(3)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: exception
        source:
          corpus_citation_path: us/statute/7/2015
versions:
  - effective_from: '2008-10-01'
    formula: >-
      person_assigned_to_or_placed_in_ihe_through_or_in_compliance_with_wioa_title_i_program

      or (
        person_assigned_to_or_placed_in_ihe_through_or_in_compliance_with_snap_employment_and_training_program
        and snap_employment_and_training_course_condition_applies
      )

      or
      person_assigned_to_or_placed_in_ihe_through_or_in_compliance_with_trade_adjustment_assistance_program_under_19_usc_2296

      or (
        person_assigned_to_or_placed_in_ihe_through_or_in_compliance_with_other_state_or_local_government_employment_and_training_program
        and secretary_determined_other_state_or_local_government_employment_and_training_program_appropriate
      )

open in graph ↗

student_work_exception_applies7 USC § 2015 (e) · derived

7 U.S.C. 2015(e)(4)

name: student_work_exception_applies
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 7 U.S.C. 2015(e)(4)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: exception
        source:
          corpus_citation_path: us/statute/7/2015
versions:
  - effective_from: '2008-10-01'
    formula: >-
      employed_hours_per_week >= student_minimum_employment_hours_per_week

      or
      person_participates_in_state_or_federally_financed_work_study_program_during_regular_school_year

open in graph ↗

student_parent_child_care_exception_applies7 USC § 2015 (e) · derived

7 U.S.C. 2015(e)(5)

name: student_parent_child_care_exception_applies
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 7 U.S.C. 2015(e)(5)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: exception
        source:
          corpus_citation_path: us/statute/7/2015
versions:
  - effective_from: '2008-10-01'
    formula: |-
      person_is_parent_with_responsibility_for_care_of_dependent_child
      and (
        dependent_child_age_years < student_parent_young_child_age_threshold_years
        or (
          dependent_child_age_years > student_parent_older_child_lower_age_threshold_years
          and dependent_child_age_years < student_parent_older_child_upper_age_threshold_years
          and adequate_child_care_not_available_to_enable_individual_to_attend_class_and_satisfy_paragraph_4
        )
      )

open in graph ↗

student_single_parent_exception_applies7 USC § 2015 (e) · derived

7 U.S.C. 2015(e)(8)

name: student_single_parent_exception_applies
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 7 U.S.C. 2015(e)(8)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: exception
        source:
          corpus_citation_path: us/statute/7/2015
versions:
  - effective_from: '2008-10-01'
    formula: >-
      person_is_enrolled_full_time_in_institution_of_higher_education_as_determined_by_institution

      and
      person_is_single_parent_with_responsibility_for_care_of_dependent_child

      and dependent_child_age_years <
      student_single_parent_child_age_threshold_years

open in graph ↗

student_exception_applies7 USC § 2015 (e) · derived

7 U.S.C. 2015(e)(1)-(8)

name: student_exception_applies
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 7 U.S.C. 2015(e)(1)-(8)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: exception
        source:
          corpus_citation_path: us/statute/7/2015
versions:
  - effective_from: '2008-10-01'
    formula: >-
      student_age_exception_applies

      or person_is_not_physically_or_mentally_fit

      or student_assignment_or_placement_exception_applies

      or student_work_exception_applies

      or student_parent_child_care_exception_applies

      or
      person_receiving_benefits_under_state_program_funded_under_part_a_title_iv_social_security_act

      or
      person_enrolled_as_result_of_participation_in_work_incentive_program_under_title_iv_social_security_act_or_successor

      or student_single_parent_exception_applies

open in graph ↗

student_ineligible_for_snap_participation7 USC § 2015 (e) · derived

7 U.S.C. 2015(e)

name: student_ineligible_for_snap_participation
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 7 U.S.C. 2015(e)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/7/2015
versions:
  - effective_from: '2008-10-01'
    formula: >-
      person_is_member_of_household_otherwise_eligible_to_participate_under_this_section

      and
      person_is_enrolled_at_least_half_time_in_institution_of_higher_education

      and not student_exception_applies

open in graph ↗

▸rulespec code

Shown source

statutes/7/2015/e.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

student_under_age_exception_threshold_years

Parameter

source: 7 U.S.C. 2015(e)(1)

- name: student_under_age_exception_threshold_years
  kind: parameter
  dtype: Count
  source: 7 U.S.C. 2015(e)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/7/2015
  versions:
    - effective_from: '2008-10-01'
      formula: '18'

student_older_age_exception_threshold_years

Parameter

source: 7 U.S.C. 2015(e)(1)

- name: student_older_age_exception_threshold_years
  kind: parameter
  dtype: Count
  source: 7 U.S.C. 2015(e)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/7/2015
  versions:
    - effective_from: '2008-10-01'
      formula: '50'

snap_employment_and_training_career_technical_program_max_years

Parameter

source: 7 U.S.C. 2015(e)(3)(B)(i)

- name: snap_employment_and_training_career_technical_program_max_years
  kind: parameter
  dtype: Count
  source: 7 U.S.C. 2015(e)(3)(B)(i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/7/2015
  versions:
    - effective_from: '2008-10-01'
      formula: '4'

student_minimum_employment_hours_per_week

Parameter

source: 7 U.S.C. 2015(e)(4)

- name: student_minimum_employment_hours_per_week
  kind: parameter
  dtype: Count
  source: 7 U.S.C. 2015(e)(4)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/7/2015
  versions:
    - effective_from: '2008-10-01'
      formula: '20'

student_parent_young_child_age_threshold_years

Parameter

source: 7 U.S.C. 2015(e)(5)(A)

- name: student_parent_young_child_age_threshold_years
  kind: parameter
  dtype: Count
  source: 7 U.S.C. 2015(e)(5)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/7/2015
  versions:
    - effective_from: '2008-10-01'
      formula: '6'

student_parent_older_child_lower_age_threshold_years

Parameter

source: 7 U.S.C. 2015(e)(5)(B)

- name: student_parent_older_child_lower_age_threshold_years
  kind: parameter
  dtype: Count
  source: 7 U.S.C. 2015(e)(5)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/7/2015
  versions:
    - effective_from: '2008-10-01'
      formula: '5'

student_parent_older_child_upper_age_threshold_years

Parameter

source: 7 U.S.C. 2015(e)(5)(B)

- name: student_parent_older_child_upper_age_threshold_years
  kind: parameter
  dtype: Count
  source: 7 U.S.C. 2015(e)(5)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/7/2015
  versions:
    - effective_from: '2008-10-01'
      formula: '12'

student_single_parent_child_age_threshold_years

Parameter

source: 7 U.S.C. 2015(e)(8)

- name: student_single_parent_child_age_threshold_years
  kind: parameter
  dtype: Count
  source: 7 U.S.C. 2015(e)(8)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/7/2015
  versions:
    - effective_from: '2008-10-01'
      formula: '12'

student_age_exception_applies

Derived

source: 7 U.S.C. 2015(e)(1)

- name: student_age_exception_applies
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 7 U.S.C. 2015(e)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/7/2015
  versions:
    - effective_from: '2008-10-01'
      formula: |-
        person_age_years < student_under_age_exception_threshold_years
        or person_age_years >= student_older_age_exception_threshold_years

snap_employment_and_training_course_condition_applies

Derived

source: 7 U.S.C. 2015(e)(3)(B)

- name: snap_employment_and_training_course_condition_applies
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 7 U.S.C. 2015(e)(3)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/7/2015
  versions:
    - effective_from: '2008-10-01'
      formula: >-
        (
          program_of_study_is_part_of_career_and_technical_education
          and program_of_study_may_be_completed_in_years <= snap_employment_and_training_career_technical_program_max_years
          and program_of_study_is_at_institution_of_higher_education
        )

        or
        program_of_study_limited_to_remedial_courses_basic_adult_education_literacy_or_english_as_second_language

student_assignment_or_placement_exception_applies

Derived

source: 7 U.S.C. 2015(e)(3)

- name: student_assignment_or_placement_exception_applies
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 7 U.S.C. 2015(e)(3)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us/statute/7/2015
  versions:
    - effective_from: '2008-10-01'
      formula: >-
        person_assigned_to_or_placed_in_ihe_through_or_in_compliance_with_wioa_title_i_program

        or (
          person_assigned_to_or_placed_in_ihe_through_or_in_compliance_with_snap_employment_and_training_program
          and snap_employment_and_training_course_condition_applies
        )

        or
        person_assigned_to_or_placed_in_ihe_through_or_in_compliance_with_trade_adjustment_assistance_program_under_19_usc_2296

        or (
          person_assigned_to_or_placed_in_ihe_through_or_in_compliance_with_other_state_or_local_government_employment_and_training_program
          and secretary_determined_other_state_or_local_government_employment_and_training_program_appropriate
        )

student_work_exception_applies

Derived

source: 7 U.S.C. 2015(e)(4)

- name: student_work_exception_applies
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 7 U.S.C. 2015(e)(4)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us/statute/7/2015
  versions:
    - effective_from: '2008-10-01'
      formula: >-
        employed_hours_per_week >= student_minimum_employment_hours_per_week

        or
        person_participates_in_state_or_federally_financed_work_study_program_during_regular_school_year

student_parent_child_care_exception_applies

Derived

source: 7 U.S.C. 2015(e)(5)

- name: student_parent_child_care_exception_applies
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 7 U.S.C. 2015(e)(5)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us/statute/7/2015
  versions:
    - effective_from: '2008-10-01'
      formula: |-
        person_is_parent_with_responsibility_for_care_of_dependent_child
        and (
          dependent_child_age_years < student_parent_young_child_age_threshold_years
          or (
            dependent_child_age_years > student_parent_older_child_lower_age_threshold_years
            and dependent_child_age_years < student_parent_older_child_upper_age_threshold_years
            and adequate_child_care_not_available_to_enable_individual_to_attend_class_and_satisfy_paragraph_4
          )
        )

student_single_parent_exception_applies

Derived

source: 7 U.S.C. 2015(e)(8)

- name: student_single_parent_exception_applies
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 7 U.S.C. 2015(e)(8)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us/statute/7/2015
  versions:
    - effective_from: '2008-10-01'
      formula: |-
        person_is_enrolled_full_time_in_institution_of_higher_education_as_determined_by_institution
        and person_is_single_parent_with_responsibility_for_care_of_dependent_child
        and dependent_child_age_years < student_single_parent_child_age_threshold_years

student_exception_applies

Derived

source: 7 U.S.C. 2015(e)(1)-(8)

- name: student_exception_applies
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 7 U.S.C. 2015(e)(1)-(8)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us/statute/7/2015
  versions:
    - effective_from: '2008-10-01'
      formula: >-
        student_age_exception_applies

        or person_is_not_physically_or_mentally_fit

        or student_assignment_or_placement_exception_applies

        or student_work_exception_applies

        or student_parent_child_care_exception_applies

        or
        person_receiving_benefits_under_state_program_funded_under_part_a_title_iv_social_security_act

        or
        person_enrolled_as_result_of_participation_in_work_incentive_program_under_title_iv_social_security_act_or_successor

        or student_single_parent_exception_applies

student_ineligible_for_snap_participation

Derived

source: 7 U.S.C. 2015(e)

- name: student_ineligible_for_snap_participation
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 7 U.S.C. 2015(e)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/7/2015
  versions:
    - effective_from: '2008-10-01'
      formula: |-
        person_is_member_of_household_otherwise_eligible_to_participate_under_this_section
        and person_is_enrolled_at_least_half_time_in_institution_of_higher_education
        and not student_exception_applies