max_vars(3).
max_body(3).
max_clauses(3).

% enable_pi.

% head
head_pred(target,2).
body_pred(target,2).
body_pred(father,2).
body_pred(brother,2).
body_pred(sister,2).


% type(target,(element,element)).
% type(father,(element,element)).
% type(brother,(element,element)).
% type(sister,(element,element)).


% direction(target,(in,out)).
% direction(father,(in,out)).
% direction(brother,(in,out)).
% direction(sister,(in,out)).