high court includes what inferior superior courts?
(AND law.court (JOIN law.court.inferior_courts (JOIN law.court.superior_courts m.0b5_m1)))