PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
PREFIX food: <http://www.w3.org/2002/03owlt/miscellaneous/consistent002#>
PREFIX p: <http://josd.github.io/eye/reasoning/preduction#>
PREFIX log: <http://www.w3.org/2000/10/swap/log#>
PREFIX e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>

{?U_0 a food:EdibleThing} => {?U_0 a food:ConsumableThing}.
{?U_1 a food:PotableLiquid} => {?U_1 a food:ConsumableThing}.
{?U_2 a food:Juice} => {?U_2 a food:PotableLiquid}.
{?U_3 a food:Grape} => {?U_3 a food:SweetFruit}.
{?U_4 a food:Pasta} => {?U_4 a food:EdibleThing}.
{?U_5 a food:PastaWithWhiteSauce} => {?U_5 a food:Pasta}.
{?U_6 a food:PastaWithSpicyRedSauce} => {?U_6 a food:PastaWithRedSauce}.
{?U_7 a food:PastaWithRedSauce} => {?U_7 a food:Pasta}.
{?U_8 a food:PastaWithNonSpicyRedSauce} => {?U_8 a food:PastaWithRedSauce}.
{?U_9 a food:PastaWithLightCreamSauce} => {?U_9 a food:PastaWithWhiteSauce}.
{?U_10 a food:PastaWithHeavyCreamSauce} => {?U_10 a food:PastaWithWhiteSauce}.
{?U_11 a food:OysterShellfish} => {?U_11 a food:Shellfish}.
{?U_12 a food:OtherTomatoBasedFood} => {?U_12 a food:EdibleThing}.
{?U_13 a food:NonSweetFruit} => {?U_13 a food:EdibleThing}.
{?U_14 a food:NonSpicyRedMeat} => {?U_14 a food:RedMeat}.
{?U_15 a food:NonRedMeat} => {?U_15 a food:Meat}.
{?U_16 a food:NonOysterShellfish} => {?U_16 a food:Shellfish}.
{?U_17 a food:NonBlandFish} => {?U_17 a food:Fish}.
{?U_18 a food:Meat} => {?U_18 a food:EdibleThing}.
{?U_19 a food:MealCourse} => {?U_19 a food:ConsumableThing}.
{?U_20 a food:Meal} => {?U_20 a food:ConsumableThing}.
{?U_21 a food:LightMeatFowl} => {?U_21 a food:Fowl}.
{?U_22 a food:Fowl} => {?U_22 a food:EdibleThing}.
{?U_23 a food:Dessert} => {?U_23 a food:EdibleThing}.
{?U_24 a food:SweetFruit} => {?U_24 a food:EdibleThing}.
{?U_25 a food:SweetDessert} => {?U_25 a food:Dessert}.
{?U_26 a food:DarkMeatFowl} => {?U_26 a food:Fowl}.
{?U_27 a food:CheeseNutsDessert} => {?U_27 a food:Dessert}.
{?U_28 a food:BlandFish} => {?U_28 a food:Fish}.
{?U_29 a food:Fish} => {?U_29 a food:Seafood}.
{?U_30 a food:SpicyRedMeat} => {?U_30 a food:RedMeat}.
{?U_31 a food:Shellfish} => {?U_31 a food:Seafood}.
{?U_32 a food:Seafood} => {?U_32 a food:EdibleThing}.
{?U_33 a food:RedMeat} => {?U_33 a food:Meat}.
{?U_34 a food:EatingGrape} => {?U_34 a food:Grape}.

