VERIFY not exists(
	SELECT progetto.x
	FROM sparqltable( SELECT ?x
			  WHERE
			{
			  ?x rdf:type 'Progetto'.
			} 
			)progetto
WHERE progetto.x not in (
			SELECT logico.x
			FROM sparqltable( SELECT ?x
					  WHERE{
						?x rdf:type 'Logico'.
						}
					 )logico
			UNION
			SELECT concettuale.x
			FROM sparqltable( SELECT ?x
					  WHERE{
						?x rdf:type 'Concettuale'.
					         }
					)concettuale
		))
)