arc(r_0019_0002__or, r_0019_0003__not, conj1).
arc(r_0019_0002__or, r_0019_0005__is, conj2).
arc(r_0019_0003__not, z_000_19_a_uksc_judgment_10, keep_scope).
arc(r_0019_0005__is, r_0019_0004__this, arg0).
arc(r_0019_0005__is, r_0019_0006__a_r_0019_0008__thing, prd).
arc(r_0019_0006__a_r_0019_0008__thing, r_0019_0007__good, attrib22).
arc(r_0019_0009__is, r_0019_0011__for_r_0019_0017__to_r_0019_0018__judge, arg0).
arc(r_0019_0010__not, r_0019_0009__is, keep_scope).
arc(r_0019_0011__for_r_0019_0017__to_r_0019_0018__judge, r_0019_0002__or, arg1).
arc(r_0019_0011__for_r_0019_0017__to_r_0019_0018__judge, r_0019_0013__or, arg0).
arc(r_0019_0013__or, r_0019_0012__this, conj1).
arc(r_0019_0013__or, r_0019_0014__any_r_0019_0016__court, conj2).
arc(r_0019_0014__any_r_0019_0016__court, r_0019_0015__other, attrib45).

fof(formula,axiom,
    ~ ? [R_19_9_IS,R_19_11_FOR_TO_JUDGE,R_19_13_OR,R_19_12_THIS,R_19_14_ANY_COURT,R_19_15_OTHER,R_19_2_OR,R_19_5_IS,R_19_4_THIS,R_19_6_A_THING,R_19_7_GOOD] :
        ( this(R_19_12_THIS)
        & other(R_19_15_OTHER)
        & this(R_19_4_THIS)
        & good(R_19_7_GOOD)
        & is(R_19_9_IS,R_19_11_FOR_TO_JUDGE)
        & for_to_judge(R_19_11_FOR_TO_JUDGE,R_19_13_OR,R_19_2_OR)
        & or(R_19_13_OR)
        & conj1(R_19_13_OR,R_19_12_THIS)
        & conj2(R_19_13_OR,R_19_14_ANY_COURT)
        & any_court(R_19_14_ANY_COURT)
        & attrib45(R_19_14_ANY_COURT,R_19_15_OTHER)
        & or(R_19_2_OR)
        & conj1(R_19_2_OR,R_19_3_NOT)
        & ~ ? [Z_19_A_UKSC_JUDGMENT_10] : true
        & conj2(R_19_2_OR,R_19_5_IS)
        & is(R_19_5_IS,R_19_4_THIS,R_19_6_A_THING)
        & a_thing(R_19_6_A_THING)
        & attrib22(R_19_6_A_THING,R_19_7_GOOD) ) ).

( (IP-MAT (CP-QUE-SBJ (IP-SUB (WQ Whether;{whether})
                              (ILYR (CONJP (CONJ or;{or})
                                           (ILYR (NEG not;{not})))
                                    (ILYR (NP-SBJ;{CHANGE} (D;_nphd_ this;{this}))
                                          (BEP;_Ln_ is;{be})
                                          (NP-PRD (D a;{a})
                                                  (ADJP (ADJ good;{good}))
                                                  (N thing;{thing}))))))
          (BEP;_I_ is;{be})
          (NEG not;{not})
          (IP-INF-NSBJ (P-CONN for;{for})
                       (NP-LGS (NLYR (NLYR (D;_nphd_ this;{this}))
                                     (CONJP (CONJ or;{or})
                                            (NLYR (D any;{any})
                                                  (ADJP (ADJ other;{other}))
                                                  (N court;{court})))))
                       (TO to;{to})
                       (VB;_Tw_ judge;{judge}))
          (PUNC .))
  (ID 19_a_uksc_judgment))