objekt(krabice).
objekt(zachod).

misto(uprostred).
misto(u_okna).
misto(v_rohu).

agent(opice).

cil(banan).

krabice != zachod.
lze_presunout(krabice).
-lze_presunout(zachod).

lze_vylezt(krabice).
lze_vylezt(zachod).

pozice(krabice, u_okna).
pozice(zachod, v_rohu).
pozice(banan, uprostred).
pozice(opice, uprostred).



% agent se muze pohybovat po vsech mistech
all a all x (pozice(a, x) <- (agent(a) & misto(x))).

% agent presunuje presunutelne objekty
all a all o all x all y ((pozice(a, y) & pozice(o, y)) <- (agent(a) & objekt(o) & lze_presunout(o) & misto(x) & misto(y) & pozice(a, x) & pozice(o, x))).

% agent leze na objekty
all a all o (na_objektu(a, o) <- (agent(a) & objekt(o) & lze_vylezt(o))).

% agent bere banany, kdyz je na spravne pozici a na objektu
all a all o all x (ma_banan(a) <- (agent(a) & objekt(o) & pozice(banan, x) & pozice(a, x) & pozice(o, x) & na_objektu(a, o))).