1:- use_module(library(trill)).    2
    3:- trill.    4
    5subClassOf(a,f).
    6subClassOf(f,b).
    7
    8subClassOf(a,unionOf([b,c,d])).
    9subClassOf(a,minCardinality(5,r)).
   10subClassOf(c,maxCardinality(4,r)).
   11subClassOf(d,maxCardinality(3,r)).
   12
   13% query: sub_class(a,b).