fact machine_gun(X) => gun(X).
fact hunting_activity(E) => physical_activity(E).
fact forest(P) => wild(P).
default machine_gun(X).
default hunting_activity(E).
default forest(P).
default dotoexercise(P,E): physical_activity(E) 
   and wants_exercise(P,E) => do(P,E).
default wants_exercise(P,E).
default huntframe(A,W,P): hunting_activity(h(W,P)) and gun(W) and wild(P)
   and do(A,h(W,P)) => get(A,W) and goto(A,P).


