26_a_uksc_judgment
We are concerned with whether there was a reason for him to do it.
( (IP-MAT (NP-SBJ (PRO We;{we}))
(BEP;_La_ are;{be})
(ADJP-PRD (ADJ concerned;{concerned})
(PP (P-ROLE with;{with})
(CP-QUE (IP-SUB (WQ whether;{whether})
(EX there;{there})
(BED;_ex_V_ was;{be})
(NP-ESBJ (D a;{a})
(N reason;{reason})
(IP-INF (P-CONN for;{for})
(NP-SBJ;{PM} (PRO him;{he}))
(TO to;{to})
(DO;_Tn_ do;{do})
(NP-OB1;{ACTION} (PRO it;{it}))))))))
(PUNC .))
(ID 26_a_uksc_judgment))
arc(r_0026_0002__are,r_0026_0001__We,arg0).
arc(r_0026_0002__are,r_0026_0003__concerned,prd).
arc(r_0026_0003__concerned,r_0026_0005__whether,r_0026_0004__with).
arc(r_0026_0005__whether,r_0026_0007__was,keep_scope).
arc(r_0026_0007__was,r_0026_0008__a_r_0026_0009__reason,arg0).
arc(r_0026_0008__a_r_0026_0009__reason,r_0026_0013__do,emb).
arc(r_0026_0013__do,r_0026_0011__him,arg0).
arc(r_0026_0013__do,r_0026_0014__it,arg1).
fof(formula,axiom,
? [R_0026_0001__WE,R_0026_0011__HIM,R_0026_0014__IT,R_0026_0013__DO,R_0026_0008__A_R_0026_0009__REASON,R_0026_0007__WAS,R_0026_0005__WHETHER,R_0026_0003__CONCERNED,R_0026_0002__ARE] :
( r_0026_0001__We(R_0026_0001__WE)
& r_0026_0011__him(R_0026_0011__HIM)
& r_0026_0014__it(R_0026_0014__IT)
& r_0026_0002__are(R_0026_0002__ARE)
& has_prd(R_0026_0002__ARE,R_0026_0003__CONCERNED)
& r_0026_0003__concerned(R_0026_0003__CONCERNED)
& has_r_0026_0004__with(R_0026_0003__CONCERNED,R_0026_0005__WHETHER)
& r_0026_0005__whether(R_0026_0005__WHETHER)
& has_keep_scope(R_0026_0005__WHETHER,R_0026_0007__WAS)
& r_0026_0007__was(R_0026_0007__WAS)
& has_arg0(R_0026_0007__WAS,R_0026_0008__A_R_0026_0009__REASON)
& r_0026_0008__a_r_0026_0009__reason(R_0026_0008__A_R_0026_0009__REASON)
& has_emb(R_0026_0008__A_R_0026_0009__REASON,R_0026_0013__DO)
& r_0026_0013__do(R_0026_0013__DO)
& has_arg1(R_0026_0013__DO,R_0026_0014__IT)
& has_arg0(R_0026_0013__DO,R_0026_0011__HIM)
& has_arg0(R_0026_0002__ARE,R_0026_0001__WE) ) ).