what is the name of the court that has an inferior court of high court?
(AND law.court (JOIN law.court.inferior_courts (JOIN law.court.superior_courts m.0b5_m1)))