25_a_uksc_judgment
We are not concerned with the Prime Minister's motive in doing what he did.
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_25_15_DID,R_25_6_THE_PRIME_MINISTER_APOS_S,Z_25_A_UKSC_JUDGMENT_33] :
( the_Prime_Minister_apos_s(R_25_6_THE_PRIME_MINISTER_APOS_S)
& ~ ? [R_25_2_ARE,R_25_1_WE,R_25_4_CONCERNED,R_25_10_MOTIVE,R_25_12_DOING,Z_25_A_UKSC_JUDGMENT_30] :
( we(R_25_1_WE)
& are(R_25_2_ARE,R_25_1_WE,R_25_4_CONCERNED)
& concerned(R_25_4_CONCERNED)
& with(R_25_4_CONCERNED,R_25_10_MOTIVE)
& motive(R_25_10_MOTIVE)
& gen(R_25_10_MOTIVE,R_25_6_THE_PRIME_MINISTER_APOS_S)
& in(R_25_10_MOTIVE,R_25_12_DOING)
& doing(R_25_12_DOING,Z_25_A_UKSC_JUDGMENT_30,Z_25_A_UKSC_JUDGMENT_33) )
& did(R_25_15_DID,R_25_6_THE_PRIME_MINISTER_APOS_S,Z_25_A_UKSC_JUDGMENT_33) ) ).
( (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))