Context                Previous, Next                Top


26_a_uksc_judgment
We are concerned with whether there was a reason for him to do it.

%3 r_0026_0002__are are r_0026_0001__We We r_0026_0002__are->r_0026_0001__We [arg0] r_0026_0003__concerned concerned r_0026_0002__are->r_0026_0003__concerned [prd] r_0026_0005__whether_r_0026_0006__there_r_0026_0007__was whether there was r_0026_0003__concerned->r_0026_0005__whether_r_0026_0006__there_r_0026_0007__was with r_0026_0008__a_r_0026_0009__reason a reason r_0026_0005__whether_r_0026_0006__there_r_0026_0007__was->r_0026_0008__a_r_0026_0009__reason [arg0] r_0026_0010__for_r_0026_0012__to_r_0026_0013__do for to do r_0026_0008__a_r_0026_0009__reason->r_0026_0010__for_r_0026_0012__to_r_0026_0013__do [emb] r_0026_0011__him him r_0026_0010__for_r_0026_0012__to_r_0026_0013__do->r_0026_0011__him [arg0] r_0026_0014__it it r_0026_0010__for_r_0026_0012__to_r_0026_0013__do->r_0026_0014__it [arg1] 
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_0006__there_r_0026_0007__was, r_0026_0004__with).
arc(r_0026_0005__whether_r_0026_0006__there_r_0026_0007__was, r_0026_0008__a_r_0026_0009__reason, arg0).
arc(r_0026_0008__a_r_0026_0009__reason, r_0026_0010__for_r_0026_0012__to_r_0026_0013__do, emb26).
arc(r_0026_0010__for_r_0026_0012__to_r_0026_0013__do, r_0026_0011__him, arg0).
arc(r_0026_0010__for_r_0026_0012__to_r_0026_0013__do, r_0026_0014__it, arg1).


%3 r_0026_0010__for_r_0026_0012__to_r_0026_0013__do for to do r_0026_0014__it it r_0026_0010__for_r_0026_0012__to_r_0026_0013__do->r_0026_0014__it [arg1] r_0026_0011__him him r_0026_0010__for_r_0026_0012__to_r_0026_0013__do->r_0026_0011__him [arg0] r_0026_0008__a_r_0026_0009__reason a reason r_0026_0008__a_r_0026_0009__reason->r_0026_0010__for_r_0026_0012__to_r_0026_0013__do [emb] r_0026_0005__whether_r_0026_0006__there_r_0026_0007__was whether there was r_0026_0005__whether_r_0026_0006__there_r_0026_0007__was->r_0026_0008__a_r_0026_0009__reason [arg0] r_0026_0003__concerned concerned r_0026_0003__concerned->r_0026_0005__whether_r_0026_0006__there_r_0026_0007__was with r_0026_0002__are are r_0026_0002__are->r_0026_0003__concerned [prd] r_0026_0001__We We r_0026_0002__are->r_0026_0001__We [arg0] 
fof(formula,axiom,
    ? [R_26_2_ARE,R_26_1_WE,R_26_3_CONCERNED,R_26_5_WHETHER_THERE_WAS,R_26_8_A_REASON,R_26_10_FOR_TO_DO,R_26_11_HIM,R_26_14_IT] :
      ( we(R_26_1_WE)
      & him(R_26_11_HIM)
      & it(R_26_14_IT)
      & are(R_26_2_ARE,R_26_1_WE,R_26_3_CONCERNED)
      & concerned(R_26_3_CONCERNED)
      & with(R_26_3_CONCERNED,R_26_5_WHETHER_THERE_WAS)
      & whether_there_was(R_26_5_WHETHER_THERE_WAS,R_26_8_A_REASON)
      & a_reason(R_26_8_A_REASON)
      & emb26(R_26_8_A_REASON,R_26_10_FOR_TO_DO)
      & for_to_do(R_26_10_FOR_TO_DO,R_26_11_HIM,R_26_14_IT) ) ).


n26_a_uksc_judgment n26_a_uksc_judgment__1_1_1_1 We n26_a_uksc_judgment__1_2_1 are n26_a_uksc_judgment__1_3_1_1 concerned n26_a_uksc_judgment__1_3_2_1_1 with n26_a_uksc_judgment__1_3_2_2_1_1_1 whether n26_a_uksc_judgment__1_3_2_2_1_2_1 there n26_a_uksc_judgment__1_3_2_2_1_3_1 was n26_a_uksc_judgment__1_3_2_2_1_4_1_1 a n26_a_uksc_judgment__1_3_2_2_1_4_2_1 reason n26_a_uksc_judgment__1_3_2_2_1_4_3_1_1 for n26_a_uksc_judgment__1_3_2_2_1_4_3_2_1_1 him n26_a_uksc_judgment__1_3_2_2_1_4_3_3_1 to n26_a_uksc_judgment__1_3_2_2_1_4_3_4_1 do n26_a_uksc_judgment__1_3_2_2_1_4_3_5_1_1 it n26_a_uksc_judgment__1_4_1 . n26_a_uksc_judgment__1 IP-MAT n26_a_uksc_judgment__1_1 NP-SBJ n26_a_uksc_judgment__1->n26_a_uksc_judgment__1_1 n26_a_uksc_judgment__1_2 BEP;_La_ n26_a_uksc_judgment__1->n26_a_uksc_judgment__1_2 n26_a_uksc_judgment__1_3 ADJP-PRD n26_a_uksc_judgment__1->n26_a_uksc_judgment__1_3 n26_a_uksc_judgment__1_4 PUNC n26_a_uksc_judgment__1->n26_a_uksc_judgment__1_4 n26_a_uksc_judgment__1_1_1 PRO n26_a_uksc_judgment__1_1->n26_a_uksc_judgment__1_1_1 n26_a_uksc_judgment__1_1_1->n26_a_uksc_judgment__1_1_1_1 n26_a_uksc_judgment__1_2->n26_a_uksc_judgment__1_2_1 n26_a_uksc_judgment__1_3_1 ADJ n26_a_uksc_judgment__1_3->n26_a_uksc_judgment__1_3_1 n26_a_uksc_judgment__1_3_2 PP n26_a_uksc_judgment__1_3->n26_a_uksc_judgment__1_3_2 n26_a_uksc_judgment__1_3_1->n26_a_uksc_judgment__1_3_1_1 n26_a_uksc_judgment__1_3_2_1 P-ROLE n26_a_uksc_judgment__1_3_2->n26_a_uksc_judgment__1_3_2_1 n26_a_uksc_judgment__1_3_2_2 CP-QUE n26_a_uksc_judgment__1_3_2->n26_a_uksc_judgment__1_3_2_2 n26_a_uksc_judgment__1_3_2_1->n26_a_uksc_judgment__1_3_2_1_1 n26_a_uksc_judgment__1_3_2_2_1 IP-SUB n26_a_uksc_judgment__1_3_2_2->n26_a_uksc_judgment__1_3_2_2_1 n26_a_uksc_judgment__1_3_2_2_1_1 WQ n26_a_uksc_judgment__1_3_2_2_1->n26_a_uksc_judgment__1_3_2_2_1_1 n26_a_uksc_judgment__1_3_2_2_1_2 EX n26_a_uksc_judgment__1_3_2_2_1->n26_a_uksc_judgment__1_3_2_2_1_2 n26_a_uksc_judgment__1_3_2_2_1_3 BED;_ex_V_ n26_a_uksc_judgment__1_3_2_2_1->n26_a_uksc_judgment__1_3_2_2_1_3 n26_a_uksc_judgment__1_3_2_2_1_4 NP-ESBJ n26_a_uksc_judgment__1_3_2_2_1->n26_a_uksc_judgment__1_3_2_2_1_4 n26_a_uksc_judgment__1_3_2_2_1_1->n26_a_uksc_judgment__1_3_2_2_1_1_1 n26_a_uksc_judgment__1_3_2_2_1_2->n26_a_uksc_judgment__1_3_2_2_1_2_1 n26_a_uksc_judgment__1_3_2_2_1_3->n26_a_uksc_judgment__1_3_2_2_1_3_1 n26_a_uksc_judgment__1_3_2_2_1_4_1 D n26_a_uksc_judgment__1_3_2_2_1_4->n26_a_uksc_judgment__1_3_2_2_1_4_1 n26_a_uksc_judgment__1_3_2_2_1_4_2 N n26_a_uksc_judgment__1_3_2_2_1_4->n26_a_uksc_judgment__1_3_2_2_1_4_2 n26_a_uksc_judgment__1_3_2_2_1_4_3 IP-INF n26_a_uksc_judgment__1_3_2_2_1_4->n26_a_uksc_judgment__1_3_2_2_1_4_3 n26_a_uksc_judgment__1_3_2_2_1_4_1->n26_a_uksc_judgment__1_3_2_2_1_4_1_1 n26_a_uksc_judgment__1_3_2_2_1_4_2->n26_a_uksc_judgment__1_3_2_2_1_4_2_1 n26_a_uksc_judgment__1_3_2_2_1_4_3_1 P-CONN n26_a_uksc_judgment__1_3_2_2_1_4_3->n26_a_uksc_judgment__1_3_2_2_1_4_3_1 n26_a_uksc_judgment__1_3_2_2_1_4_3_2 NP-SBJ n26_a_uksc_judgment__1_3_2_2_1_4_3->n26_a_uksc_judgment__1_3_2_2_1_4_3_2 n26_a_uksc_judgment__1_3_2_2_1_4_3_3 TO n26_a_uksc_judgment__1_3_2_2_1_4_3->n26_a_uksc_judgment__1_3_2_2_1_4_3_3 n26_a_uksc_judgment__1_3_2_2_1_4_3_4 DO;_Tn_ n26_a_uksc_judgment__1_3_2_2_1_4_3->n26_a_uksc_judgment__1_3_2_2_1_4_3_4 n26_a_uksc_judgment__1_3_2_2_1_4_3_5 NP-OB1 n26_a_uksc_judgment__1_3_2_2_1_4_3->n26_a_uksc_judgment__1_3_2_2_1_4_3_5 n26_a_uksc_judgment__1_3_2_2_1_4_3_1->n26_a_uksc_judgment__1_3_2_2_1_4_3_1_1 n26_a_uksc_judgment__1_3_2_2_1_4_3_2_1 PRO n26_a_uksc_judgment__1_3_2_2_1_4_3_2->n26_a_uksc_judgment__1_3_2_2_1_4_3_2_1 n26_a_uksc_judgment__1_3_2_2_1_4_3_2_1->n26_a_uksc_judgment__1_3_2_2_1_4_3_2_1_1 n26_a_uksc_judgment__1_3_2_2_1_4_3_3->n26_a_uksc_judgment__1_3_2_2_1_4_3_3_1 n26_a_uksc_judgment__1_3_2_2_1_4_3_4->n26_a_uksc_judgment__1_3_2_2_1_4_3_4_1 n26_a_uksc_judgment__1_3_2_2_1_4_3_5_1 PRO n26_a_uksc_judgment__1_3_2_2_1_4_3_5->n26_a_uksc_judgment__1_3_2_2_1_4_3_5_1 n26_a_uksc_judgment__1_3_2_2_1_4_3_5_1->n26_a_uksc_judgment__1_3_2_2_1_4_3_5_1_1 n26_a_uksc_judgment__1_4->n26_a_uksc_judgment__1_4_1 
( (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))