// ex1.trp - Example 1
// 
// A Simple TRIPLE example

//Some statements, all in the same model

ellen[likes->tennis]@ex1Model.
john[likes->football]@ex1Model.
tom[likes->baseball]@ex1Model.
eric[likes->swimming]@ex1Model.
mark[likes->tennis]@ex1Model.

//A rule
FORALL X bill[likes-> X]@ex1Model <- tom[likes-> X]@ex1Model.

//A query, showing all the true statements
FORALL X,Y,Z <- X[Y->Z]@ex1Model.

/* OUTPUT 

***
X = bill, Y = likes, Z = baseball
X = mark, Y = likes, Z = tennis
X = eric, Y = likes, Z = swimming
X = tom, Y = likes, Z = baseball
X = john, Y = likes, Z = football
X = ellen, Y = likes, Z = tennis

*/