Describe((?type2, ?type1, ?prop),
         Slice(BGP( ?type1 <http://www.w3.org/2000/01/rdf-schema#subClassOf>+ ?type2 .
                    ?prop <http://schema.org/domainIncludes> ?type2 .
                    ?prop <http://schema.org/domainIncludes> ?type1),
               0,
               100))