/* Dataset for FOIL */

/* Parameters to be passed to the learning system */

foil_predicates([faculty_home/1, links_to/2, university/1, company/1]).  % predicates in BK and examples

foil_cwa(false).    % CWA


/* Definitions of background knowledge and examples */

/* positive examples */

faculty_home(p1).
faculty_home(p2).

/* negative examples */

neg(faculty_home(p3)).

/* background knowledge */

links_to(p1,p4).
links_to(p2,p4).
links_to(p3,p5).

university(p4).

company(p5).