what governmental body has members which is the office holders of high court of northern ireland judge?
(AND government.governmental_body (JOIN government.governmental_body.members (JOIN (R government.government_office_or_title.office_holders) m.059n9cg)))