1:-use_module(library(trill)). 2 3:- trill. % or :- trillp. or :- tornado.
10subClassOf(allValuesFrom(commands,soldier),commander). 11classAssertion(guard,pete). 12classAssertion(guard,al). 13classAssertion(allValuesFrom(commands,guard),john). 14equivalentClasses([guard,soldier]). 15subPropertyOf(commands,commands1)
?-
instanceOf(commander,john,Expl)
.*/