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_0019_0004__THIS,R_0019_0007__GOOD,R_0019_0006__A_R_0019_0008__THING,R_0019_0005__IS,R_0019_0002__OR,R_0019_0012__THIS,R_0019_0015__OTHER,R_0019_0014__ANY_R_0019_0016__COURT,R_0019_0013__OR,R_0019_0011__FOR_R_0019_0017__TO_R_0019_0018__JUDGE,R_0019_0009__IS] :
        ( r_0019_0004__this(R_0019_0004__THIS)
        & r_0019_0007__good(R_0019_0007__GOOD)
        & r_0019_0012__this(R_0019_0012__THIS)
        & r_0019_0015__other(R_0019_0015__OTHER)
        & r_0019_0009__is(R_0019_0009__IS)
        & has_arg0(R_0019_0009__IS,R_0019_0011__FOR_R_0019_0017__TO_R_0019_0018__JUDGE)
        & r_0019_0011__for_r_0019_0017__to_r_0019_0018__judge(R_0019_0011__FOR_R_0019_0017__TO_R_0019_0018__JUDGE)
        & has_arg0(R_0019_0011__FOR_R_0019_0017__TO_R_0019_0018__JUDGE,R_0019_0013__OR)
        & r_0019_0013__or(R_0019_0013__OR)
        & has_conj2(R_0019_0013__OR,R_0019_0014__ANY_R_0019_0016__COURT)
        & r_0019_0014__any_r_0019_0016__court(R_0019_0014__ANY_R_0019_0016__COURT)
        & has_attrib45(R_0019_0014__ANY_R_0019_0016__COURT,R_0019_0015__OTHER)
        & has_conj1(R_0019_0013__OR,R_0019_0012__THIS)
        & has_arg1(R_0019_0011__FOR_R_0019_0017__TO_R_0019_0018__JUDGE,R_0019_0002__OR)
        & r_0019_0002__or(R_0019_0002__OR)
        & has_conj2(R_0019_0002__OR,R_0019_0005__IS)
        & r_0019_0005__is(R_0019_0005__IS)
        & has_prd(R_0019_0005__IS,R_0019_0006__A_R_0019_0008__THING)
        & r_0019_0006__a_r_0019_0008__thing(R_0019_0006__A_R_0019_0008__THING)
        & has_attrib22(R_0019_0006__A_R_0019_0008__THING,R_0019_0007__GOOD)
        & has_arg0(R_0019_0005__IS,R_0019_0004__THIS)
        & has_conj1(R_0019_0002__OR,R_0019_0003__NOT)
        & ~ ? [Z_000_19_A_UKSC_JUDGMENT_10] : z_000_19_a_uksc_judgment_10(Z_000_19_A_UKSC_JUDGMENT_10) ) ).

( (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))