PREFIX ftg: <http://flandersmake.be/cdf/vocabulary/ftg#>
PREFIX immutable: <http://flandersmake.be/cdf/vocabulary/immutable#>

SELECT ?formalism
WHERE {
	?formalism a ftg:Formalism .
	?transformation ftg:hasInput ?formalism .
	?transformation immutable:hasUUID "t1" .
}