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

arc(r_0019_0001__Whether,r_0019_0002__or,keep_scope).
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_0019_5004,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,attrib).
arc(r_0019_0009__is,r_0019_0018__judge,arg0).
arc(r_0019_0010__not,r_0019_0009__is,keep_scope).
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,attrib).
arc(r_0019_0018__judge,r_0019_0001__Whether,arg1).
arc(r_0019_0018__judge,r_0019_0013__or,arg0).

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_0001__WHETHER,R_0019_0012__THIS,R_0019_0015__OTHER,R_0019_0014__ANY_R_0019_0016__COURT,R_0019_0013__OR,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_0018__JUDGE)
        & r_0019_0018__judge(R_0019_0018__JUDGE)
        & has_arg0(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_attrib(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_0018__JUDGE,R_0019_0001__WHETHER)
        & r_0019_0001__Whether(R_0019_0001__WHETHER)
        & has_keep_scope(R_0019_0001__WHETHER,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_attrib(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_0019_5004] : z_0019_5004(Z_0019_5004) ) ).