arc(r_0025_0002__are, r_0025_0001__We, arg0).
arc(r_0025_0002__are, r_0025_0004__concerned, prd).
arc(r_0025_0003__not, r_0025_0002__are, keep_scope).
arc(r_0025_0004__concerned, r_0025_0010__motive, r_0025_0005__with).
arc(r_0025_0010__motive, r_0025_0006__the_r_0025_0007__Prime_r_0025_0008__Minister_r_0025_0009___apos_s, gen).
arc(r_0025_0010__motive, r_0025_0012__doing, r_0025_0011__in).
arc(r_0025_0012__doing, z_000_25_a_uksc_judgment_30, arg0).
arc(r_0025_0012__doing, z_000_25_a_uksc_judgment_33, arg1).
arc(r_0025_0015__did, r_0025_0006__the_r_0025_0007__Prime_r_0025_0008__Minister_r_0025_0009___apos_s, arg0).
arc(r_0025_0015__did, z_000_25_a_uksc_judgment_33, arg1).

fof(formula,axiom,
    ? [R_0025_0006__THE_R_0025_0007__PRIME_R_0025_0008__MINISTER_R_0025_0009___APOS_S,Z_000_25_A_UKSC_JUDGMENT_33,R_0025_0015__DID] :
      ( r_0025_0006__the_r_0025_0007__Prime_r_0025_0008__Minister_r_0025_0009___apos_s(R_0025_0006__THE_R_0025_0007__PRIME_R_0025_0008__MINISTER_R_0025_0009___APOS_S)
      & z_000_25_a_uksc_judgment_33(Z_000_25_A_UKSC_JUDGMENT_33)
      & r_0025_0015__did(R_0025_0015__DID)
      & has_arg1(R_0025_0015__DID,Z_000_25_A_UKSC_JUDGMENT_33)
      & has_arg0(R_0025_0015__DID,R_0025_0006__THE_R_0025_0007__PRIME_R_0025_0008__MINISTER_R_0025_0009___APOS_S)
      & ~ ? [R_0025_0001__WE,Z_000_25_A_UKSC_JUDGMENT_30,R_0025_0012__DOING,R_0025_0010__MOTIVE,R_0025_0004__CONCERNED,R_0025_0002__ARE] :
            ( r_0025_0001__We(R_0025_0001__WE)
            & z_000_25_a_uksc_judgment_30(Z_000_25_A_UKSC_JUDGMENT_30)
            & r_0025_0002__are(R_0025_0002__ARE)
            & has_prd(R_0025_0002__ARE,R_0025_0004__CONCERNED)
            & r_0025_0004__concerned(R_0025_0004__CONCERNED)
            & has_r_0025_0005__with(R_0025_0004__CONCERNED,R_0025_0010__MOTIVE)
            & r_0025_0010__motive(R_0025_0010__MOTIVE)
            & has_r_0025_0011__in(R_0025_0010__MOTIVE,R_0025_0012__DOING)
            & r_0025_0012__doing(R_0025_0012__DOING)
            & has_arg1(R_0025_0012__DOING,Z_000_25_A_UKSC_JUDGMENT_33)
            & has_arg0(R_0025_0012__DOING,Z_000_25_A_UKSC_JUDGMENT_30)
            & has_gen(R_0025_0010__MOTIVE,R_0025_0006__THE_R_0025_0007__PRIME_R_0025_0008__MINISTER_R_0025_0009___APOS_S)
            & has_arg0(R_0025_0002__ARE,R_0025_0001__WE) ) ) ).

( (IP-MAT (NP-SBJ (PRO We;{we}))
          (BEP;_La_ are;{be})
          (NEG not;{not})
          (ADJP-PRD (ADJ concerned;{concerned})
                    (PP (P-ROLE with;{with})
                        (NP (NP-GEN;{PM} (D the;{the})
                                         (NPR Prime;{Prime})
                                         (NPR Minister;{Minister})
                                         (GENM <apos>s))
                            (N motive;{motive})
                            (PP (P-ROLE in;{in})
                                (IP-PPL3 (DAG;_Tn_ doing;{do})
                                         (NP-OB1;{ACTION} (IP-REL (NP-OB1 (RPRO what;{what}))
                                                                  (NP-SBJ;{PM} (PRO he;{he}))
                                                                  (DOD;_Tn_ did;{do}))))))))
          (PUNC .))
  (ID 25_a_uksc_judgment))