#const maxworld=2.
#const maxinstant=5.

boolVal(true).
boolVal(false).

fluent(antibodies).
fluent(disease).

action(makeAntibodies).

possVal(F, B) :- 
	fluent(F),
	boolVal(B).

% A1
initiallyKnowsValueIsNot((W, 0), antibodies, 0, true) :- 
	world(W).

% A2
causesValue(makeAntibodies, antibodies, true, T) :- 
	time(T).
causesValue(makeAntibodies, disease, false, T) :- 
	time(T).

% A3
triggered(makeAntibodies, T) :- 
	valueOf(disease, T, true).

% A4
perform(sense(antibodies), 1).

% A5
% no need for translation