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).