@prefix list: <http://www.w3.org/2000/10/swap/list#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.

{?C owl:unionOf ?L. ?D list:in ?L. ?X a ?D} => {?X a ?C}.
{?C owl:unionOf ?L. ?D list:in ?L} => {?D rdfs:subClassOf ?C}.
