420 Continuous Enrollment

1 ruleAll 1 subsections

(block-1)∀ 1#

The enrollment status of a student begins on the first day of the school term of the institution. Such enrollment continues through normal periods of class attendance, vacation and recess unless the student graduates, is suspended or expelled, drops out, or does not intend to register for the next normal school term (excluding summer school).

in view

Whole section

Encodings · 1

student_enrollment_status_continuesMA reg. 362 (420) (block-1) · derived

106 CMR 362.420 block 1

name: student_enrollment_status_continues
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 106 CMR 362.420 block 1
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-ma/regulation/106-cmr/362/420/block-1
versions:
  - effective_from: '0001-01-01'
    formula: |-
      school_term_has_begun
      and not student_has_graduated
      and not student_is_suspended
      and not student_is_expelled
      and not student_has_dropped_out
      and not student_does_not_intend_to_register_for_next_normal_school_term

▸rulespec code

Shown source

regulations/106-cmr/362/420/block-1.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

student_enrollment_status_continues

Derived(block-1) in text ↖

source: 106 CMR 362.420 block 1

- name: student_enrollment_status_continues
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 106 CMR 362.420 block 1
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-ma/regulation/106-cmr/362/420/block-1
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        school_term_has_begun
        and not student_has_graduated
        and not student_is_suspended
        and not student_is_expelled
        and not student_has_dropped_out
        and not student_does_not_intend_to_register_for_next_normal_school_term

loading…

420 Continuous Enrollment

1 ruleAll 1 subsections

Official source

graph ↗build calculator ↗

(block-1)∀ 1#

in view

Whole section

Encodings · 1

student_enrollment_status_continuesMA reg. 362 (420) (block-1) · derived

106 CMR 362.420 block 1

name: student_enrollment_status_continues
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 106 CMR 362.420 block 1
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-ma/regulation/106-cmr/362/420/block-1
versions:
  - effective_from: '0001-01-01'
    formula: |-
      school_term_has_begun
      and not student_has_graduated
      and not student_is_suspended
      and not student_is_expelled
      and not student_has_dropped_out
      and not student_does_not_intend_to_register_for_next_normal_school_term

▸rulespec code

Shown source

regulations/106-cmr/362/420/block-1.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

student_enrollment_status_continues

Derived(block-1) in text ↖

source: 106 CMR 362.420 block 1

- name: student_enrollment_status_continues
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 106 CMR 362.420 block 1
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-ma/regulation/106-cmr/362/420/block-1
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        school_term_has_begun
        and not student_has_graduated
        and not student_is_suspended
        and not student_is_expelled
        and not student_has_dropped_out
        and not student_does_not_intend_to_register_for_next_normal_school_term