@prefix list: . @prefix log: . @prefix owl: . @prefix rdfs: . @prefix rdf: . @prefix e: . {?C owl:intersectionOf ?L. ?X a ?C. ?D list:in ?L} => {?X a ?D}. {?C owl:intersectionOf ?L. ?L rdf:first ?A. ?X a ?A. ?L rdf:rest ?B. ?S e:findall (?Y {?Y list:in ?B. ?X a ?Y} ?B)} => {?X a ?C}. {?C owl:intersectionOf ?L. ?D list:in ?L} => {?C rdfs:subClassOf ?D}.