loading…

us-co/regulation/10-ccr-2506-1/4.130.2 — ELIGIBLE FOODS · Axiom

ELIGIBLE FOODS

3 rules

Households can only purchase eligible foods with SNAP benefits. Eligible foods include: A. Any food or food product intended for human consumption, except for alcoholic beverages, tobacco, and hot food, including hot food products prepared by the retailer and sold at above room temperature for immediate consumption. B. Seeds and plants to grow foods for personal consumption by eligible household members.

in view

Whole section

Encodings · 3

human_consumption_food_snap_eligibleCO reg. 4.130.2 · derived

10 CCR 2506-1 section 4.130.2(A)

name: human_consumption_food_snap_eligible
kind: derived
entity: Household
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.130.2(A)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.130.2
versions:
  - effective_from: '2025-10-01'
    formula: >-
      food_or_food_product_intended_for_human_consumption

      and not food_or_food_product_is_alcoholic_beverage

      and not food_or_food_product_is_tobacco

      and not
      food_or_food_product_is_hot_food_sold_above_room_temperature_for_immediate_consumption

seeds_or_plants_snap_eligibleCO reg. 4.130.2 · derived

10 CCR 2506-1 section 4.130.2(B)

name: seeds_or_plants_snap_eligible
kind: derived
entity: Household
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.130.2(B)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.130.2
versions:
  - effective_from: '2025-10-01'
    formula: >-
      item_is_seed_or_plant

      and
      item_used_to_grow_foods_for_personal_consumption_by_eligible_household_members

snap_eligible_foodCO reg. 4.130.2 · derived

10 CCR 2506-1 section 4.130.2

name: snap_eligible_food
kind: derived
entity: Household
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.130.2
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.130.2
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us-co:regulations/10-ccr-2506-1/4.130.2#human_consumption_food_snap_eligible
          output: human_consumption_food_snap_eligible
          hash: sha256:local
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us-co:regulations/10-ccr-2506-1/4.130.2#seeds_or_plants_snap_eligible
          output: seeds_or_plants_snap_eligible
          hash: sha256:local
versions:
  - effective_from: '2025-10-01'
    formula: |-
      human_consumption_food_snap_eligible
      or seeds_or_plants_snap_eligible

▸rulespec code

Shown source

regulations/10-ccr-2506-1/4.130.2.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

human_consumption_food_snap_eligible

Derived

source: 10 CCR 2506-1 section 4.130.2(A)

- name: human_consumption_food_snap_eligible
  kind: derived
  entity: Household
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.130.2(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.130.2
  versions:
    - effective_from: '2025-10-01'
      formula: >-
        food_or_food_product_intended_for_human_consumption

        and not food_or_food_product_is_alcoholic_beverage

        and not food_or_food_product_is_tobacco

        and not
        food_or_food_product_is_hot_food_sold_above_room_temperature_for_immediate_consumption

seeds_or_plants_snap_eligible

Derived

source: 10 CCR 2506-1 section 4.130.2(B)

- name: seeds_or_plants_snap_eligible
  kind: derived
  entity: Household
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.130.2(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.130.2
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        item_is_seed_or_plant
        and item_used_to_grow_foods_for_personal_consumption_by_eligible_household_members

snap_eligible_food

Derived

source: 10 CCR 2506-1 section 4.130.2

- name: snap_eligible_food
  kind: derived
  entity: Household
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.130.2
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.130.2
        - path: versions[0].formula
          kind: import
          import:
            target: us-co:regulations/10-ccr-2506-1/4.130.2#human_consumption_food_snap_eligible
            output: human_consumption_food_snap_eligible
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us-co:regulations/10-ccr-2506-1/4.130.2#seeds_or_plants_snap_eligible
            output: seeds_or_plants_snap_eligible
            hash: sha256:local
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        human_consumption_food_snap_eligible
        or seeds_or_plants_snap_eligible

loading…

ELIGIBLE FOODS

3 rules

Official source

graph ↗build calculator ↗

in view

Whole section

Encodings · 3

human_consumption_food_snap_eligibleCO reg. 4.130.2 · derived

10 CCR 2506-1 section 4.130.2(A)

name: human_consumption_food_snap_eligible
kind: derived
entity: Household
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.130.2(A)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.130.2
versions:
  - effective_from: '2025-10-01'
    formula: >-
      food_or_food_product_intended_for_human_consumption

      and not food_or_food_product_is_alcoholic_beverage

      and not food_or_food_product_is_tobacco

      and not
      food_or_food_product_is_hot_food_sold_above_room_temperature_for_immediate_consumption

seeds_or_plants_snap_eligibleCO reg. 4.130.2 · derived

10 CCR 2506-1 section 4.130.2(B)

name: seeds_or_plants_snap_eligible
kind: derived
entity: Household
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.130.2(B)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.130.2
versions:
  - effective_from: '2025-10-01'
    formula: >-
      item_is_seed_or_plant

      and
      item_used_to_grow_foods_for_personal_consumption_by_eligible_household_members

snap_eligible_foodCO reg. 4.130.2 · derived

10 CCR 2506-1 section 4.130.2

name: snap_eligible_food
kind: derived
entity: Household
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.130.2
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.130.2
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us-co:regulations/10-ccr-2506-1/4.130.2#human_consumption_food_snap_eligible
          output: human_consumption_food_snap_eligible
          hash: sha256:local
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us-co:regulations/10-ccr-2506-1/4.130.2#seeds_or_plants_snap_eligible
          output: seeds_or_plants_snap_eligible
          hash: sha256:local
versions:
  - effective_from: '2025-10-01'
    formula: |-
      human_consumption_food_snap_eligible
      or seeds_or_plants_snap_eligible

▸rulespec code

Shown source

regulations/10-ccr-2506-1/4.130.2.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

human_consumption_food_snap_eligible

Derived

source: 10 CCR 2506-1 section 4.130.2(A)

- name: human_consumption_food_snap_eligible
  kind: derived
  entity: Household
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.130.2(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.130.2
  versions:
    - effective_from: '2025-10-01'
      formula: >-
        food_or_food_product_intended_for_human_consumption

        and not food_or_food_product_is_alcoholic_beverage

        and not food_or_food_product_is_tobacco

        and not
        food_or_food_product_is_hot_food_sold_above_room_temperature_for_immediate_consumption

seeds_or_plants_snap_eligible

Derived

source: 10 CCR 2506-1 section 4.130.2(B)

- name: seeds_or_plants_snap_eligible
  kind: derived
  entity: Household
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.130.2(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.130.2
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        item_is_seed_or_plant
        and item_used_to_grow_foods_for_personal_consumption_by_eligible_household_members

snap_eligible_food

Derived

source: 10 CCR 2506-1 section 4.130.2

- name: snap_eligible_food
  kind: derived
  entity: Household
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.130.2
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.130.2
        - path: versions[0].formula
          kind: import
          import:
            target: us-co:regulations/10-ccr-2506-1/4.130.2#human_consumption_food_snap_eligible
            output: human_consumption_food_snap_eligible
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us-co:regulations/10-ccr-2506-1/4.130.2#seeds_or_plants_snap_eligible
            output: seeds_or_plants_snap_eligible
            hash: sha256:local
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        human_consumption_food_snap_eligible
        or seeds_or_plants_snap_eligible