what is the name of the court that has an inferior court of district court?
Entity
m.072h0h
Court of Appeal
class class entity
law.court law.court m.072w4z
law.court law.court law.court
Court Court District Court
none none none
law.court.inferior_courts law.court.superior_courts
Inferior courts Superior courts
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX : <http://rdf.freebase.com/ns/> 
SELECT (?x0 AS ?value) WHERE {
SELECT DISTINCT ?x0  WHERE { 
?x0 :type.object.type :law.court . 
?x1 :type.object.type :law.court . 
VALUES ?x2 { :m.072w4z } 
?x0 :law.court.inferior_courts ?x1 . 
?x1 :law.court.superior_courts ?x2 . 
FILTER ( ?x0 != ?x1 && ?x0 != ?x2 && ?x1 != ?x2  )
}
}
(AND law.court (JOIN law.court.inferior_courts (JOIN law.court.superior_courts m.072w4z)))