сова -протеже делает неверный вывод? как точно определить класс «вегетарианец»?

Я застрял на два дней, пытаясь понять, почему следующий сценарий не работает:

скриншоты здесь:http://dl.dropbox.com/u/4677548/screenshots.html

У меня есть класс VegetarianFood (подкласс Food ), который эквивалентен «Еда и (яйца или MilkAndDerivates или VeganFood )" как видно на скриншоте №1

Класс VeganFood, в свою очередь, эквивалентен другим классам (NutsAndSeeds, Cereals, Fruit и т.д... )снимок экрана 2

как вы можете видеть, есть две личности (сыр чеддер и кешью ), созданные как MilkAndDerivates и NutsAndSeeds скриншот 3 и они правильно определены как участники VegetarianFood и VeganFood

. Затем я создал два отдельных рецепта, один только с кешью (PastaVega )и один с сыром чеддер и кешью (PastaVege ), используя свойство объекта hasIngredient скриншоты 4 и 5

, и они были определены как рецепт... НО ни один из них не попадает в категорию вегетарианских рецептов и веганских рецептов,определяется следующим образом скриншот 6 и 7

Я понятия не имею, почему они не считаются вегетарианскими (или веганскими )??Что я упускаю?

Изменить:

Если я изменю VegetarianRecipe (или веганский )с "Рецепт и (содержит ингредиенты ТОЛЬКО вегетарианская еда )"

для "Recipe and (hasIngredient SOME VegetarianFood )"

screenshot 8

показаны отдельные рецепты, но, конечно, это не то, что я пытаюсь сделать, так как таким образом он будет включать рецепты со смешанными мясная и вегетарианская еда. Итак, как определить класс vegetarianrecipe и veganrecipe, чтобы позволить рассуждающему правильно сделать вывод, является ли рецепт вегетарианским или веганским????