Check that the queries do not import extraneous items in the conceptual space

[Mttbnchtt]

No description provided.

[Mttbnchtt]

Consider the following filter:

 SELECT DISTINCT
            ?indirectly_related_iri
            ?indirectly_related_label
        WHERE {
            ?s ?p <https://www.foom.com/pappus_proofAristotle#00000000000000000014> .
            ?s
                <http://www.foom.com/mathematical_concepts#00000000000000000153>+ ?indirectly_related_iri . # has mathematical relation
            ?indirectly_related_iri
                rdfs:label ?indirectly_related_label .
            FILTER NOT EXISTS { ?s a <http://www.foom.com/core/Proof_step> . }
        }