SELECT	t.corridore
FROM	sparqltable (
		SELECT ?corridore ?citta ?giorno ?orario
		WHERE {
			?x rdf:type 'Corridore'.
			?x :iscritto ?y.
			?y rdf:type 'Gara'.
			?x :nomeCorridore ?corridore.
			?y :citta ?citta.
			?y :giorno ?giorno.
			?y :orario ?orario.
		}
	) t
WHERE	t.citta = 'viterbo' AND
	t.giorno = '2008-09-20' AND
	t.orario = '1840' AND 
	t.corridore NOT IN (
		SELECT 	t.arrivato
		FROM	sparqltable (
				SELECT ?arrivato ?citta ?giorno ?orario
				WHERE {
					?x rdf:type 'Corridore'.
					?x :prendeParte ?y.
					?y rdf:type 'GaraDisputata'.
					?x :nomeCorridore ?arrivato.
					?y :citta ?citta.
					?y :giorno ?giorno.
					?y :orario ?orario.
				}
			) t
		WHERE	t.citta = 'viterbo' AND
			t.giorno = '2008-09-20' AND
			t.orario = '1840'
	)