what is the name of the court that has an inferior court of district court?
(AND law.court (JOIN law.court.inferior_courts (JOIN law.court.superior_courts m.072w4z)))