1:-use_module(library(trill)).    2
    3:- trill. % or :- trillp. or :- tornado.

?- prob_instanceOf(goodPerson,donVito,Prob).

*/

   11classAssertion(cat, tom).
   12propertyAssertion(hasPet, donVito, tom).
   13subClassOf(cat, pet).
   14subClassOf(someValuesFrom(hasAnimal, pet), natureLover).
   15subClassOf(natureLover,goodPerson).
   16subPropertyOf(hasPet,hasAnimal).
   17 
   18annotationAssertion('disponte:probability',subClassOf(natureLover,goodPerson),literal('0.2'))