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

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,gen).
arc(r_0025_0010__motive,r_0025_0012__doing,r_0025_0011__in).
arc(r_0025_0012__doing,r_0025_0013__what,arg1).
arc(r_0025_0012__doing,z_0025_5005,arg0).
arc(r_0025_0015__did,r_0025_0006__the_r_0025_0007__Prime_r_0025_0008__Minister,arg0).
arc(r_0025_0015__did,r_0025_0013__what,arg1).

fof(formula,axiom,
    ? [R_0025_0006__THE_R_0025_0007__PRIME_R_0025_0008__MINISTER,R_0025_0013__WHAT,R_0025_0015__DID] :
      ( r_0025_0006__the_r_0025_0007__Prime_r_0025_0008__Minister(R_0025_0006__THE_R_0025_0007__PRIME_R_0025_0008__MINISTER)
      & r_0025_0013__what(R_0025_0013__WHAT)
      & r_0025_0015__did(R_0025_0015__DID)
      & has_arg1(R_0025_0015__DID,R_0025_0013__WHAT)
      & has_arg0(R_0025_0015__DID,R_0025_0006__THE_R_0025_0007__PRIME_R_0025_0008__MINISTER)
      & ~ ? [R_0025_0001__WE,Z_0025_5005,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_0025_5005(Z_0025_5005)
            & 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_arg0(R_0025_0012__DOING,Z_0025_5005)
            & has_arg1(R_0025_0012__DOING,R_0025_0013__WHAT)
            & has_gen(R_0025_0010__MOTIVE,R_0025_0006__THE_R_0025_0007__PRIME_R_0025_0008__MINISTER)
            & has_arg0(R_0025_0002__ARE,R_0025_0001__WE) ) ) ).