/*************************************************************************

         name: exampleModels.pl
      version: July 2002
  description: example models over a vocabulary
      authors: Stephan Walter & Aljoscha Burchardt

*************************************************************************/

:- module(exampleModels,[example/2]).


/*========================================================================
   Example Models
========================================================================*/

example(1,[]).

example(2,[therapist(mary),therapist(john),
	moron(peter),moron(anna),
	love(peter,anna)]).

example(3,[therapist(mary),moron(john),therapist(anna),
	therapist(peter), moron(peter), moron(anna),
	love(peter,anna),love(mary,john)]).

example(4,[bird(tweety),siamesecat(mutzi),woman(mary),man(john),man(miles),
	love(miles,mary),owner(mary),of(mary,mutzi),
	love(miles,tweety),love(john,mary),walk(mary),
	therapist(mary),eat(mutzi,tweety)]).

example(5,[bird(tweety),siamesecat(mutzi),woman(mary),man(john),man(miles),
	therapist(mary),therapist(john),therapist(peter),therapist(tweety),therapist(mutzi),
	therapist(anna),therapist(miles),eat(mutzi,tweety)]).



example(6,[moron(peter),moron(anna),therapist(mary),therapist(john),love(peter,anna)]).