#const n=4.

%%%%%%%%%%%%%%%%%%%%  SCENARIO 5 %%%%%%%%%%%%%%%%%%
%                                                 %
%     John took the plane from Paris to Baghdad.  %
%     Where is John's carry-on?                   %
%                                                 %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%           THE TRANSLATION

% 1. John goes to Baghdad:

    o(go_on(john,j(paris,baghdad)),0).

%  The query:

answer_true(q(C)) :-
		h(at(carry_on(john),C),n).
type_query(q(C),find).   


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

% To run use

ans(Q) :-
       type_query(Q,find),
       answer_true(Q).

hide.

show ans(A).