Distinct(Project(BGP( ?a <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://w3id.org/prohow#instruction_set> .
                      ?b <http://www.w3.org/2000/01/rdf-schema#label> ?b_label .
                      ?a <http://www.w3.org/2000/01/rdf-schema#label> ?a_label .
                      ?tar_a <http://www.w3.org/2002/07/owl#sameAs> ?tar_b .
                      ?ann_b <http://www.w3.org/ns/oa#hasTarget> ?tar_b .
                      ?ann_a <http://www.w3.org/ns/oa#hasTarget> ?tar_a .
                      ?ann_b <http://www.w3.org/ns/oa#hasBody> ?b .
                      ?ann_a <http://www.w3.org/ns/oa#hasBody> ?a .
                      ?b <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://w3id.org/prohow#instruction_set>),
                 {?a, ?b, ?a_label, ?b_label}))