max_vars(6).
max_body(3).
max_clauses(2).

% head
head_pred(p,2).
type(p,(element,element)).
direction(p,(in,out)).

% body
body_pred(p,2).
type(p,(element,element)).
direction(p,(in,out)).


body_pred(edge,2).
type(edge,(element,element)).
direction(edge,(in,out)).