loading…

Page 5

5 rules

FOOD AND NUTRITION SERVICES CERTIFICATION APPLICATIONS FNS 420 NORMAL APPLICATION PROCESSING

5 Section 420 Change #01-2024 March 01, 2024 Processing Deadline Examples: 1. Date of application is May 21st. This is the first time the FNS household received and will need an EBT card. Allow one processing day plus two days for receipt of the EBT card. The processing deadline is June 17th to be considered timely processing.

2. Date of application is May 20th. The FNS household previously received FNS and retained their EBT card and it is valid. The processing deadline is June 18th to be considered timely.

3. Date of application is June 5th. The FNS household previously received FNS and retained their EBT card and it is valid. Because July 4th is a holiday the processing deadline is July 3rd to be considered timely.

in view

Whole section

Encodings · 5

Encoded from this provision

us-nc/policy/dhhs/fns/fns-420-normal-application-processing/page-5

first_time_ebt_card_deadline_example_timelyus-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5 · derived

FNS 420, Section 420 Change

name: first_time_ebt_card_deadline_example_timely
kind: derived
entity: Household
dtype: Judgment
period: Day
source: FNS 420, Section 420 Change
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5
          excerpt: Date of application is May 21st
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5
          excerpt: first time the FNS household received and will need an EBT card
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5
          excerpt: processing deadline is June 17th to be considered timely processing
versions:
  - effective_from: '2024-03-01'
    formula: |-
      application_matches_first_ebt_card_example_date
      and household_first_time_receives_fns_and_needs_ebt_card
      and processing_completed_on_or_before_first_ebt_card_example_deadline

first_time_ebt_card_processing_days_allowedus-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5 · parameter

FNS 420, Section 420 Change

name: first_time_ebt_card_processing_days_allowed
kind: parameter
dtype: Count
source: FNS 420, Section 420 Change
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: amount
        source:
          corpus_citation_path: us-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5
          excerpt: Allow one processing day
versions:
  - effective_from: '2024-03-01'
    formula: '1'

first_time_ebt_card_receipt_days_allowedus-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5 · parameter

FNS 420, Section 420 Change

name: first_time_ebt_card_receipt_days_allowed
kind: parameter
dtype: Count
source: FNS 420, Section 420 Change
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: amount
        source:
          corpus_citation_path: us-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5
          excerpt: plus two days for receipt of the EBT card
versions:
  - effective_from: '2024-03-01'
    formula: '2'

retained_valid_ebt_card_deadline_example_timelyus-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5 · derived

FNS 420, Section 420 Change

name: retained_valid_ebt_card_deadline_example_timely
kind: derived
entity: Household
dtype: Judgment
period: Day
source: FNS 420, Section 420 Change
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5
          excerpt: Date of application is May 20th
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5
          excerpt: previously received FNS and retained their EBT card and it is valid
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5
          excerpt: processing deadline is June 18th to be considered timely
versions:
  - effective_from: '2024-03-01'
    formula: |-
      application_matches_retained_card_example_date
      and household_previously_received_fns_and_retained_valid_ebt_card
      and processing_completed_on_or_before_retained_card_example_deadline

retained_valid_ebt_card_holiday_deadline_example_timelyus-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5 · derived

FNS 420, Section 420 Change

name: retained_valid_ebt_card_holiday_deadline_example_timely
kind: derived
entity: Household
dtype: Judgment
period: Day
source: FNS 420, Section 420 Change
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5
          excerpt: Date of application is June 5th
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5
          excerpt: previously received FNS and retained their EBT card and it is valid
      - path: versions[0].formula
        kind: exception
        source:
          corpus_citation_path: us-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5
          excerpt: Because July 4th is a holiday
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5
          excerpt: processing deadline is July 3rd to be considered timely
versions:
  - effective_from: '2024-03-01'
    formula: >-
      application_matches_holiday_adjusted_retained_card_example_date

      and household_previously_received_fns_and_retained_valid_ebt_card

      and next_normal_deadline_day_is_holiday

      and
      processing_completed_on_or_before_holiday_adjusted_retained_card_example_deadline

▸rulespec code

Shown source

policies/dhhs/fns/fns-420-normal-application-processing

Displaying the canonical repository encoding.

View on GitHub

Rules

first_time_ebt_card_deadline_example_timely

Derived

source: FNS 420, Section 420 Change

- name: first_time_ebt_card_deadline_example_timely
  kind: derived
  entity: Household
  dtype: Judgment
  period: Day
  source: FNS 420, Section 420 Change
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5
            excerpt: Date of application is May 21st
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5
            excerpt: first time the FNS household received and will need an EBT card
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5
            excerpt: processing deadline is June 17th to be considered timely processing
  versions:
    - effective_from: '2024-03-01'
      formula: |-
        application_matches_first_ebt_card_example_date
        and household_first_time_receives_fns_and_needs_ebt_card
        and processing_completed_on_or_before_first_ebt_card_example_deadline

first_time_ebt_card_processing_days_allowed

Parameter

source: FNS 420, Section 420 Change

- name: first_time_ebt_card_processing_days_allowed
  kind: parameter
  dtype: Count
  source: FNS 420, Section 420 Change
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5
            excerpt: Allow one processing day
  versions:
    - effective_from: '2024-03-01'
      formula: '1'

first_time_ebt_card_receipt_days_allowed

Parameter

source: FNS 420, Section 420 Change

- name: first_time_ebt_card_receipt_days_allowed
  kind: parameter
  dtype: Count
  source: FNS 420, Section 420 Change
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5
            excerpt: plus two days for receipt of the EBT card
  versions:
    - effective_from: '2024-03-01'
      formula: '2'

retained_valid_ebt_card_deadline_example_timely

Derived

source: FNS 420, Section 420 Change

- name: retained_valid_ebt_card_deadline_example_timely
  kind: derived
  entity: Household
  dtype: Judgment
  period: Day
  source: FNS 420, Section 420 Change
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5
            excerpt: Date of application is May 20th
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5
            excerpt: previously received FNS and retained their EBT card and it is valid
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5
            excerpt: processing deadline is June 18th to be considered timely
  versions:
    - effective_from: '2024-03-01'
      formula: |-
        application_matches_retained_card_example_date
        and household_previously_received_fns_and_retained_valid_ebt_card
        and processing_completed_on_or_before_retained_card_example_deadline

retained_valid_ebt_card_holiday_deadline_example_timely

Derived

source: FNS 420, Section 420 Change

- name: retained_valid_ebt_card_holiday_deadline_example_timely
  kind: derived
  entity: Household
  dtype: Judgment
  period: Day
  source: FNS 420, Section 420 Change
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5
            excerpt: Date of application is June 5th
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5
            excerpt: previously received FNS and retained their EBT card and it is valid
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5
            excerpt: Because July 4th is a holiday
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5
            excerpt: processing deadline is July 3rd to be considered timely
  versions:
    - effective_from: '2024-03-01'
      formula: |-
        application_matches_holiday_adjusted_retained_card_example_date
        and household_previously_received_fns_and_retained_valid_ebt_card
        and next_normal_deadline_day_is_holiday
        and processing_completed_on_or_before_holiday_adjusted_retained_card_example_deadline

loading…

us-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5 — Page 5 · Axiom

Page 5

5 rules

Official source

graph ↗build calculator ↗

FOOD AND NUTRITION SERVICES CERTIFICATION APPLICATIONS FNS 420 NORMAL APPLICATION PROCESSING

2. Date of application is May 20th. The FNS household previously received FNS and retained their EBT card and it is valid. The processing deadline is June 18th to be considered timely.

in view

Whole section

Encodings · 5

Encoded from this provision

us-nc/policy/dhhs/fns/fns-420-normal-application-processing/page-5

first_time_ebt_card_deadline_example_timelyus-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5 · derived

FNS 420, Section 420 Change

name: first_time_ebt_card_deadline_example_timely
kind: derived
entity: Household
dtype: Judgment
period: Day
source: FNS 420, Section 420 Change
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5
          excerpt: Date of application is May 21st
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5
          excerpt: first time the FNS household received and will need an EBT card
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5
          excerpt: processing deadline is June 17th to be considered timely processing
versions:
  - effective_from: '2024-03-01'
    formula: |-
      application_matches_first_ebt_card_example_date
      and household_first_time_receives_fns_and_needs_ebt_card
      and processing_completed_on_or_before_first_ebt_card_example_deadline

first_time_ebt_card_processing_days_allowedus-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5 · parameter

FNS 420, Section 420 Change

name: first_time_ebt_card_processing_days_allowed
kind: parameter
dtype: Count
source: FNS 420, Section 420 Change
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: amount
        source:
          corpus_citation_path: us-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5
          excerpt: Allow one processing day
versions:
  - effective_from: '2024-03-01'
    formula: '1'

first_time_ebt_card_receipt_days_allowedus-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5 · parameter

FNS 420, Section 420 Change

name: first_time_ebt_card_receipt_days_allowed
kind: parameter
dtype: Count
source: FNS 420, Section 420 Change
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: amount
        source:
          corpus_citation_path: us-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5
          excerpt: plus two days for receipt of the EBT card
versions:
  - effective_from: '2024-03-01'
    formula: '2'

retained_valid_ebt_card_deadline_example_timelyus-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5 · derived

FNS 420, Section 420 Change

name: retained_valid_ebt_card_deadline_example_timely
kind: derived
entity: Household
dtype: Judgment
period: Day
source: FNS 420, Section 420 Change
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5
          excerpt: Date of application is May 20th
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5
          excerpt: previously received FNS and retained their EBT card and it is valid
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5
          excerpt: processing deadline is June 18th to be considered timely
versions:
  - effective_from: '2024-03-01'
    formula: |-
      application_matches_retained_card_example_date
      and household_previously_received_fns_and_retained_valid_ebt_card
      and processing_completed_on_or_before_retained_card_example_deadline

retained_valid_ebt_card_holiday_deadline_example_timelyus-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5 · derived

FNS 420, Section 420 Change

name: retained_valid_ebt_card_holiday_deadline_example_timely
kind: derived
entity: Household
dtype: Judgment
period: Day
source: FNS 420, Section 420 Change
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5
          excerpt: Date of application is June 5th
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5
          excerpt: previously received FNS and retained their EBT card and it is valid
      - path: versions[0].formula
        kind: exception
        source:
          corpus_citation_path: us-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5
          excerpt: Because July 4th is a holiday
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5
          excerpt: processing deadline is July 3rd to be considered timely
versions:
  - effective_from: '2024-03-01'
    formula: >-
      application_matches_holiday_adjusted_retained_card_example_date

      and household_previously_received_fns_and_retained_valid_ebt_card

      and next_normal_deadline_day_is_holiday

      and
      processing_completed_on_or_before_holiday_adjusted_retained_card_example_deadline

▸rulespec code

Shown source

policies/dhhs/fns/fns-420-normal-application-processing

Displaying the canonical repository encoding.

View on GitHub

Rules

first_time_ebt_card_deadline_example_timely

Derived

source: FNS 420, Section 420 Change

- name: first_time_ebt_card_deadline_example_timely
  kind: derived
  entity: Household
  dtype: Judgment
  period: Day
  source: FNS 420, Section 420 Change
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5
            excerpt: Date of application is May 21st
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5
            excerpt: first time the FNS household received and will need an EBT card
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5
            excerpt: processing deadline is June 17th to be considered timely processing
  versions:
    - effective_from: '2024-03-01'
      formula: |-
        application_matches_first_ebt_card_example_date
        and household_first_time_receives_fns_and_needs_ebt_card
        and processing_completed_on_or_before_first_ebt_card_example_deadline

first_time_ebt_card_processing_days_allowed

Parameter

source: FNS 420, Section 420 Change

- name: first_time_ebt_card_processing_days_allowed
  kind: parameter
  dtype: Count
  source: FNS 420, Section 420 Change
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5
            excerpt: Allow one processing day
  versions:
    - effective_from: '2024-03-01'
      formula: '1'

first_time_ebt_card_receipt_days_allowed

Parameter

source: FNS 420, Section 420 Change

- name: first_time_ebt_card_receipt_days_allowed
  kind: parameter
  dtype: Count
  source: FNS 420, Section 420 Change
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5
            excerpt: plus two days for receipt of the EBT card
  versions:
    - effective_from: '2024-03-01'
      formula: '2'

retained_valid_ebt_card_deadline_example_timely

Derived

source: FNS 420, Section 420 Change

- name: retained_valid_ebt_card_deadline_example_timely
  kind: derived
  entity: Household
  dtype: Judgment
  period: Day
  source: FNS 420, Section 420 Change
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5
            excerpt: Date of application is May 20th
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5
            excerpt: previously received FNS and retained their EBT card and it is valid
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5
            excerpt: processing deadline is June 18th to be considered timely
  versions:
    - effective_from: '2024-03-01'
      formula: |-
        application_matches_retained_card_example_date
        and household_previously_received_fns_and_retained_valid_ebt_card
        and processing_completed_on_or_before_retained_card_example_deadline

retained_valid_ebt_card_holiday_deadline_example_timely

Derived

source: FNS 420, Section 420 Change

- name: retained_valid_ebt_card_holiday_deadline_example_timely
  kind: derived
  entity: Household
  dtype: Judgment
  period: Day
  source: FNS 420, Section 420 Change
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5
            excerpt: Date of application is June 5th
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5
            excerpt: previously received FNS and retained their EBT card and it is valid
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5
            excerpt: Because July 4th is a holiday
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-nc/manual/dhhs/fns/fns-420-normal-application-processing/page-5
            excerpt: processing deadline is July 3rd to be considered timely
  versions:
    - effective_from: '2024-03-01'
      formula: |-
        application_matches_holiday_adjusted_retained_card_example_date
        and household_previously_received_fns_and_retained_valid_ebt_card
        and next_normal_deadline_day_is_holiday
        and processing_completed_on_or_before_holiday_adjusted_retained_card_example_deadline