%%% General observer error from the low level image matching. %%%%%%%%%%%%%%%%%
prob circle: 0.01.
prob doublecircle: 0.01.
prob lines: 0.01.
prob squares: 0.01.
prob blob: 0.01.
prob noObserveError: 0.95.
circlePresent <- circle & noObserveError.
doublecirclePresent <- doublecircle & noObserveError.
linesPresent <- lines & noObserveError.
squaresPresent <- squares & noObserveError.
blobPresent <- blob & noObserveError.

%%% Ingredients definitions %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Circle information
prob basilicumcircle: 0.2.
prob salamicircle: 0.4.
prob mozarellacircle: 0.4.
basilicum <- basilicumcircle & circlePresent.
salami <- salamicircle & circlePresent.
mozarella <- mozarellacircle & circlePresent.

%% Doublecircle information
prob doublecircleOlives: 0.5.
prob doublecircleJalapenos: 0.5.
jalapenos <- doublecircleJalapenos & doublecirclePresent.
olives <- doublecircleOlives & doublecirclePresent.

%% Lines information
paprika <- linesPresent.

%% Square information
prob hamsquare: 0.5.
prob pineapplesquare: 0.5.
ham <- squaresPresent & hamsquare.
pineapple <- squaresPresent & pineapplesquare.

%% Blob information
prob blobHam: 0.1.
prob blobPineapple: 0.1.
prob blobBasilicum: 0.1.
prob blobMushrooms: 0.7.
ham <- blobHam & blobPresent.
pineapple <- blobPineapple & blobPresent.
basilicum <- blobBasilicum & blobPresent.
mushrooms <- blobMushrooms & blobPresent.

%%% Pizza descriptions %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Margarita
p_margarita <- basilicum.
	
%% Hawaii
prob hawaiibasilicum: 0.1.
p_hawaii <- ham & pineapple & basilicum & hawaiibasilicum.

%% Salami
prob salamibasilicum: 0.1.
p_salami <- salami & basilicum & salamibasilicum.

%% Funghi
prob funghiham: 0.5.
p_funghi <- mushrooms & ham & funghiham.

%% Salami
p_pepperoni <- salami & jalapenos.

%% Oliva
p_oliva <- basilicum & olives.

whatpizza <- p_oliva.
whatpizza <- p_pepperoni.
whatpizza <- p_funghi.
whatpizza <- p_salami.
whatpizza <- p_hawaii.
whatpizza <- p_margarita.