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

?- instanceOf(commander,john,Expl).

*/

   10subClassOf(allValuesFrom(commands,soldier),commander).
   11classAssertion(guard,pete).
   12classAssertion(guard,al).
   13classAssertion(allValuesFrom(commands,guard),john).
   14equivalentClasses([guard,soldier]).
   15subPropertyOf(commands,commands1)