/*-------------------------------------------------------------*/
/*                "Family relationship" domain                 */
/*-------------------------------------------------------------*/
/*  (from Quinlan, J.R. Learning logical definitions from      */
/*   relations. Machine Learning, 5 (1990), 239-266)           */
/*-------------------------------------------------------------*/
example(husband,christopher,penelope).
example(husband,andrew,christine).
example(husband,arthur,margaret).
example(husband,james,victoria).
example(husband,charles,jennifer).

example(wife,penelope,christopher).
example(wife,christine,andrew).
example(wife,margaret,arthur).
example(wife,victoria,james).
example(wife,jennifer,charles).

example(mother,penelope,arthur).
example(mother,penelope,victoria).
example(mother,christine,james).
example(mother,christine,jennifer).
example(mother,victoria,colin).
example(mother,victoria,charlotte).

example(father,christopher,arthur).
example(father,christopher,victoria).
example(father,andrew,james).
example(father,andrew,jennifer).
example(father,james,colin).
example(father,james,charlotte).

example(daughter,victoria,christopher).
example(daughter,victoria,penelope).
example(daughter,jennifer,andrew).
example(daughter,jennifer,christine).
example(daughter,charlotte,james).
example(daughter,charlotte,victoria).

example(son,arthur,christopher).
example(son,arthur,penelope).
example(son,james,andrew).
example(son,james,christine).
example(son,colin,james).
example(son,colin,victoria).

example(brother,arthur,victoria).
example(brother,james,jennifer).
example(brother,colin,charlotte).

example(sister,victoria,arthur).
example(sister,jennifer,james).
example(sister,charlotte,colin).

example(uncle,arthur,colin).
example(uncle,arthur,charlotte).
example(uncle,charles,colin).
example(uncle,charles,charlotte).

example(aunt,margaret,colin).
example(aunt,margaret,charlotte).
example(aunt,jennifer,colin).
example(aunt,jennifer,charlotte).

example(nephew,colin,margaret).
example(nephew,colin,arthur).
example(nephew,colin,jennifer).
example(nephew,colin,charles).

example(niece,charlotte,margaret).
example(niece,charlotte,arthur).
example(niece,charlotte,jennifer).
example(niece,charlotte,charles).
