loading…

us-al/manual/dhr/poe/chapter-05-students/502 — 502 Enrollment Status · Axiom

502 Enrollment Status

2 rules

The enrollment status of a student shall begin on the first day of the school term of the institution of higher education. Such enrollment shall be deemed to continue through normal periods of class attendance, vacation, and recess, unless the student: 1. Graduates 2. Is suspended or expelled. 3. Drops out. 4. Does not intend to register for the next normal school term (excluding summer school). Although the enrollment status of the student continues through normal periods of vacation and recess, the student must meet student eligibility criteria during these periods in order to qualify for food assistance.

in view

Whole section

Encodings · 2

Encoded from this provision

us-al/policy/dhr/poe/chapter-05-students/502

student_enrollment_status_continuesus-al/manual/dhr/poe/chapter-05-students/502 · derived

AL DHR POE Chapter 5, Section 502

name: student_enrollment_status_continues
kind: derived
entity: Person
dtype: Judgment
period: Month
source: AL DHR POE Chapter 5, Section 502
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-al/manual/dhr/poe/chapter-05-students/502
versions:
  - effective_from: '0001-01-01'
    formula: |-
      school_term_has_begun
      and not student_has_graduated
      and not student_is_suspended_or_expelled
      and not student_has_dropped_out
      and student_intends_to_register_for_next_normal_term

student_qualifies_for_food_assistance_during_vacation_or_recessus-al/manual/dhr/poe/chapter-05-students/502 · derived

AL DHR POE Chapter 5, Section 502 (final sentence)

name: student_qualifies_for_food_assistance_during_vacation_or_recess
kind: derived
entity: Person
dtype: Judgment
period: Month
source: AL DHR POE Chapter 5, Section 502 (final sentence)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-al/manual/dhr/poe/chapter-05-students/502
          excerpt: >-
            the student must meet student eligibility criteria during these
            periods in order to qualify for food assistance
versions:
  - effective_from: '0001-01-01'
    formula: |-
      student_enrollment_status_continues
      and (
        not period_is_vacation_or_recess
        or student_meets_student_eligibility_criteria
      )

▸rulespec code

Shown source

policies/dhr/poe/chapter-05-students

Displaying the canonical repository encoding.

View on GitHub

Rules

student_enrollment_status_continues

Derived

source: AL DHR POE Chapter 5, Section 502

- name: student_enrollment_status_continues
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: AL DHR POE Chapter 5, Section 502
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-al/manual/dhr/poe/chapter-05-students/502
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        school_term_has_begun
        and not student_has_graduated
        and not student_is_suspended_or_expelled
        and not student_has_dropped_out
        and student_intends_to_register_for_next_normal_term

student_qualifies_for_food_assistance_during_vacation_or_recess

Derived

source: AL DHR POE Chapter 5, Section 502 (final sentence)

- name: student_qualifies_for_food_assistance_during_vacation_or_recess
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: AL DHR POE Chapter 5, Section 502 (final sentence)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-al/manual/dhr/poe/chapter-05-students/502
            excerpt: >-
              the student must meet student eligibility criteria during these periods in order to
              qualify for food assistance
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        student_enrollment_status_continues
        and (
          not period_is_vacation_or_recess
          or student_meets_student_eligibility_criteria
        )

loading…

502 Enrollment Status

2 rules

Official source

graph ↗build calculator ↗

in view

Whole section

Encodings · 2

Encoded from this provision

us-al/policy/dhr/poe/chapter-05-students/502

student_enrollment_status_continuesus-al/manual/dhr/poe/chapter-05-students/502 · derived

AL DHR POE Chapter 5, Section 502

name: student_enrollment_status_continues
kind: derived
entity: Person
dtype: Judgment
period: Month
source: AL DHR POE Chapter 5, Section 502
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-al/manual/dhr/poe/chapter-05-students/502
versions:
  - effective_from: '0001-01-01'
    formula: |-
      school_term_has_begun
      and not student_has_graduated
      and not student_is_suspended_or_expelled
      and not student_has_dropped_out
      and student_intends_to_register_for_next_normal_term

student_qualifies_for_food_assistance_during_vacation_or_recessus-al/manual/dhr/poe/chapter-05-students/502 · derived

AL DHR POE Chapter 5, Section 502 (final sentence)

name: student_qualifies_for_food_assistance_during_vacation_or_recess
kind: derived
entity: Person
dtype: Judgment
period: Month
source: AL DHR POE Chapter 5, Section 502 (final sentence)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-al/manual/dhr/poe/chapter-05-students/502
          excerpt: >-
            the student must meet student eligibility criteria during these
            periods in order to qualify for food assistance
versions:
  - effective_from: '0001-01-01'
    formula: |-
      student_enrollment_status_continues
      and (
        not period_is_vacation_or_recess
        or student_meets_student_eligibility_criteria
      )

▸rulespec code

Shown source

policies/dhr/poe/chapter-05-students

Displaying the canonical repository encoding.

View on GitHub

Rules

student_enrollment_status_continues

Derived

source: AL DHR POE Chapter 5, Section 502

- name: student_enrollment_status_continues
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: AL DHR POE Chapter 5, Section 502
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-al/manual/dhr/poe/chapter-05-students/502
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        school_term_has_begun
        and not student_has_graduated
        and not student_is_suspended_or_expelled
        and not student_has_dropped_out
        and student_intends_to_register_for_next_normal_term

student_qualifies_for_food_assistance_during_vacation_or_recess

Derived

source: AL DHR POE Chapter 5, Section 502 (final sentence)

- name: student_qualifies_for_food_assistance_during_vacation_or_recess
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: AL DHR POE Chapter 5, Section 502 (final sentence)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-al/manual/dhr/poe/chapter-05-students/502
            excerpt: >-
              the student must meet student eligibility criteria during these periods in order to
              qualify for food assistance
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        student_enrollment_status_continues
        and (
          not period_is_vacation_or_recess
          or student_meets_student_eligibility_criteria
        )