Tiny example otter input with rdf data and a rule

% this is the way comments start
set(hyper_res).  % another alternative is set(binary_res)
set(factor).   % probably comes automatically
set(print_kept).  % this will print out ALL derived and kept stuff

formula_list(sos).  % use list(sos) if not formula syntax

rdf(s1,job,cleaner).
rdf(s1,phone,123).
rdf(s2,job,guard).
rdf(s2,phone,345).
rdf(s3,title,breakingnews).
rdf(s3,link,www_epl_ee).


% following three rows are not formula syntax: x,y,z,u,v,w are vars
% -rdf(x,job,z) | 
% -rdf(x,phone,u) |
% rdf(x,type,employee).
 
% this is formula syntax
 all x all z all u (
    rdf(x,job,z) &
    rdf(x,phone,u)
    ->
    rdf(x,type,employee) ).
    
 
% and there is no query! try giving -rdf(s1,type,employee) as query.

% useful for query: say that s1 is not s2
% s1!=s2.
% query example: look for all guys not s2
% all x (rdf(x,type,employee) &
%       x!=s2
%       ->
%       $answer(x)).
         

end_of_list.