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_0026_0001__WE,R_0026_0011__HIM,R_0026_0014__IT,R_0026_0010__FOR_R_0026_0012__TO_R_0026_0013__DO,R_0026_0008__A_R_0026_0009__REASON,R_0026_0005__WHETHER_R_0026_0006__THERE_R_0026_0007__WAS,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_0006__THERE_R_0026_0007__WAS)
      & r_0026_0005__whether_r_0026_0006__there_r_0026_0007__was(R_0026_0005__WHETHER_R_0026_0006__THERE_R_0026_0007__WAS)
      & has_arg0(R_0026_0005__WHETHER_R_0026_0006__THERE_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_emb26(R_0026_0008__A_R_0026_0009__REASON,R_0026_0010__FOR_R_0026_0012__TO_R_0026_0013__DO)
      & r_0026_0010__for_r_0026_0012__to_r_0026_0013__do(R_0026_0010__FOR_R_0026_0012__TO_R_0026_0013__DO)
      & has_arg1(R_0026_0010__FOR_R_0026_0012__TO_R_0026_0013__DO,R_0026_0014__IT)
      & has_arg0(R_0026_0010__FOR_R_0026_0012__TO_R_0026_0013__DO,R_0026_0011__HIM)
      & has_arg0(R_0026_0002__ARE,R_0026_0001__WE) ) ).


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