1:- use_module(library(trill)).    2
    3:- trill.    4
    5/*
    6% subClassOf('a', maxCardinality(2, 's', 'c')).
    7subClassOf('a', maxCardinality(1, 's', 'c')).
    8propertyAssertion('s', '1', '2').
    9propertyAssertion('s', '1', '3').
   10propertyAssertion('s', '1', '4').
   11% propertyAssertion('s', '1', '5').
   12classAssertion('a', '1').
   13classAssertion('c', '2').
   14classAssertion('g', '2').
   15classAssertion('c', '3').
   16classAssertion('f', '3').
   17classAssertion('c', '4').
   18classAssertion(complementOf('g'), '4').
   19classAssertion('c', '5').
   20classAssertion(complementOf('f'), '5').
   21*/
   22
   23subClassOf('a', maxCardinality(1, 's', 'c')).
   24classAssertion('c', '2').
   25classAssertion('c', '3').
   26classAssertion('c', '4').
   27classAssertion('b', '2').
   28classAssertion('e', '3').
   29classAssertion('f', '4').
   30disjointClasses(['b','e','f']).
   31classAssertion('a', '1').
   32propertyAssertion('s', '1', '2').
   33propertyAssertion('s', '1', '3').
   34propertyAssertion('s', '1', '4')