Table 1 Properties of the three types of objects Food, Tray and InspectionObserver

freshness ∈ [0, 1]

appearance \(\in {\mathbb{N}}\)

tray_appearances ∈ lists(\({\mathbb{N}}\))

eatable ∈ {true, false}

position \(\in {\mathbb{N}}\)

cacheable ∈ {true, false}

open ∈ {true, false}

amount \(\in {\mathbb{N}}\)

eatable_items ∈ lists(Food)

type ∈ {mealworm, waxworm, peanut, suet_pellet, pinenut, kibble, cricket, pineapple, salami, stone, maintenance_diet}