Context                Previous, Next                Top


52_a_lob_a01
He believed he would perform ‘outstanding service’ in his post.

%3 r_0052_0002__believed believed r_0052_0001__He He r_0052_0002__believed->r_0052_0001__He [arg0] r_0052_0004__would would r_0052_0002__believed->r_0052_0004__would [arg1] r_0052_0005__perform perform r_0052_0004__would->r_0052_0005__perform [scope] r_0052_0003__he he r_0052_0005__perform->r_0052_0003__he [arg0] r_0052_0008__service service r_0052_0005__perform->r_0052_0008__service [arg1] r_0052_0012__post post r_0052_0005__perform->r_0052_0012__post in [nim] r_0052_0007__outstanding outstanding r_0052_0008__service->r_0052_0007__outstanding [attrib] r_0052_0012__post->r_0052_0003__he [gen] 
arc(r_0052_0002__believed, r_0052_0001__He, arg0).
arc(r_0052_0002__believed, r_0052_0004__would, arg1).
arc(r_0052_0004__would, r_0052_0005__perform, scope).
arc(r_0052_0005__perform, r_0052_0003__he, arg0).
arc(r_0052_0005__perform, r_0052_0008__service, arg1).
arc(r_0052_0005__perform, r_0052_0012__post, r_0052_0010__in_nim30).
arc(r_0052_0008__service, r_0052_0007__outstanding, attrib20).
arc(r_0052_0012__post, r_0052_0003__he, gen).


%3 r_0052_0012__post post r_0052_0003__he he r_0052_0012__post->r_0052_0003__he [gen] r_0052_0008__service service r_0052_0007__outstanding outstanding r_0052_0008__service->r_0052_0007__outstanding [attrib] r_0052_0004__would_r_0052_0005__perform would perform r_0052_0004__would_r_0052_0005__perform->r_0052_0012__post in [nim] r_0052_0004__would_r_0052_0005__perform->r_0052_0003__he [arg0] r_0052_0004__would_r_0052_0005__perform->r_0052_0008__service [arg1] r_0052_0002__believed believed r_0052_0002__believed->r_0052_0004__would_r_0052_0005__perform [arg1] r_0052_0001__He He r_0052_0002__believed->r_0052_0001__He [arg0] 
fof(formula,axiom,
    ? [R_52_2_BELIEVED,R_52_1_HE,R_52_4_WOULD_PERFORM,R_52_8_SERVICE,R_52_7_OUTSTANDING,R_52_12_POST,R_52_3_HE] :
      ( he(R_52_1_HE)
      & outstanding(R_52_7_OUTSTANDING)
      & he(R_52_3_HE)
      & believed(R_52_2_BELIEVED,R_52_1_HE,R_52_4_WOULD_PERFORM)
      & would_perform(R_52_4_WOULD_PERFORM,R_52_3_HE,R_52_8_SERVICE)
      & service(R_52_8_SERVICE)
      & attrib20(R_52_8_SERVICE,R_52_7_OUTSTANDING)
      & in_nim30(R_52_4_WOULD_PERFORM,R_52_12_POST)
      & post(R_52_12_POST)
      & gen(R_52_12_POST,R_52_3_HE) ) ).


n52_a_lob_a01 n52_a_lob_a01__1_1_1_1 He n52_a_lob_a01__1_2_1 believed n52_a_lob_a01__1_3_1_1_1_1 he n52_a_lob_a01__1_3_1_2_1 would n52_a_lob_a01__1_3_1_3_1_1 perform n52_a_lob_a01__1_3_1_3_2_1_1 <lquo> n52_a_lob_a01__1_3_1_3_2_2_1_1 outstanding n52_a_lob_a01__1_3_1_3_2_3_1 service n52_a_lob_a01__1_3_1_3_2_4_1 <rquo> n52_a_lob_a01__1_3_1_3_3_1_1 in n52_a_lob_a01__1_3_1_3_3_2_1_1_1 his n52_a_lob_a01__1_3_1_3_3_2_2_1 post n52_a_lob_a01__1_4_1 . n52_a_lob_a01__1 IP-MAT n52_a_lob_a01__1_1 NP-SBJ n52_a_lob_a01__1->n52_a_lob_a01__1_1 n52_a_lob_a01__1_2 VBD;_Tf_ n52_a_lob_a01__1->n52_a_lob_a01__1_2 n52_a_lob_a01__1_3 CP-THT-OB1 n52_a_lob_a01__1->n52_a_lob_a01__1_3 n52_a_lob_a01__1_4 PUNC n52_a_lob_a01__1->n52_a_lob_a01__1_4 n52_a_lob_a01__1_1_1 PRO n52_a_lob_a01__1_1->n52_a_lob_a01__1_1_1 n52_a_lob_a01__1_1_1->n52_a_lob_a01__1_1_1_1 n52_a_lob_a01__1_2->n52_a_lob_a01__1_2_1 n52_a_lob_a01__1_3_1 IP-SUB n52_a_lob_a01__1_3->n52_a_lob_a01__1_3_1 n52_a_lob_a01__1_3_1_1 NP-SBJ n52_a_lob_a01__1_3_1->n52_a_lob_a01__1_3_1_1 n52_a_lob_a01__1_3_1_2 MD;_cat_Vi_ n52_a_lob_a01__1_3_1->n52_a_lob_a01__1_3_1_2 n52_a_lob_a01__1_3_1_3 IP-INF-CAT n52_a_lob_a01__1_3_1->n52_a_lob_a01__1_3_1_3 n52_a_lob_a01__1_3_1_1_1 PRO n52_a_lob_a01__1_3_1_1->n52_a_lob_a01__1_3_1_1_1 n52_a_lob_a01__1_3_1_1_1->n52_a_lob_a01__1_3_1_1_1_1 n52_a_lob_a01__1_3_1_2->n52_a_lob_a01__1_3_1_2_1 n52_a_lob_a01__1_3_1_3_1 VB;_Tn_ n52_a_lob_a01__1_3_1_3->n52_a_lob_a01__1_3_1_3_1 n52_a_lob_a01__1_3_1_3_2 NP-OB1 n52_a_lob_a01__1_3_1_3->n52_a_lob_a01__1_3_1_3_2 n52_a_lob_a01__1_3_1_3_3 PP-NIM n52_a_lob_a01__1_3_1_3->n52_a_lob_a01__1_3_1_3_3 n52_a_lob_a01__1_3_1_3_1->n52_a_lob_a01__1_3_1_3_1_1 n52_a_lob_a01__1_3_1_3_2_1 PULQ n52_a_lob_a01__1_3_1_3_2->n52_a_lob_a01__1_3_1_3_2_1 n52_a_lob_a01__1_3_1_3_2_2 ADJP n52_a_lob_a01__1_3_1_3_2->n52_a_lob_a01__1_3_1_3_2_2 n52_a_lob_a01__1_3_1_3_2_3 N n52_a_lob_a01__1_3_1_3_2->n52_a_lob_a01__1_3_1_3_2_3 n52_a_lob_a01__1_3_1_3_2_4 PURQ n52_a_lob_a01__1_3_1_3_2->n52_a_lob_a01__1_3_1_3_2_4 n52_a_lob_a01__1_3_1_3_2_1->n52_a_lob_a01__1_3_1_3_2_1_1 n52_a_lob_a01__1_3_1_3_2_2_1 ADJ n52_a_lob_a01__1_3_1_3_2_2->n52_a_lob_a01__1_3_1_3_2_2_1 n52_a_lob_a01__1_3_1_3_2_2_1->n52_a_lob_a01__1_3_1_3_2_2_1_1 n52_a_lob_a01__1_3_1_3_2_3->n52_a_lob_a01__1_3_1_3_2_3_1 n52_a_lob_a01__1_3_1_3_2_4->n52_a_lob_a01__1_3_1_3_2_4_1 n52_a_lob_a01__1_3_1_3_3_1 P-ROLE n52_a_lob_a01__1_3_1_3_3->n52_a_lob_a01__1_3_1_3_3_1 n52_a_lob_a01__1_3_1_3_3_2 NP n52_a_lob_a01__1_3_1_3_3->n52_a_lob_a01__1_3_1_3_3_2 n52_a_lob_a01__1_3_1_3_3_1->n52_a_lob_a01__1_3_1_3_3_1_1 n52_a_lob_a01__1_3_1_3_3_2_1 NP-GEN n52_a_lob_a01__1_3_1_3_3_2->n52_a_lob_a01__1_3_1_3_3_2_1 n52_a_lob_a01__1_3_1_3_3_2_2 N n52_a_lob_a01__1_3_1_3_3_2->n52_a_lob_a01__1_3_1_3_3_2_2 n52_a_lob_a01__1_3_1_3_3_2_1_1 PRO;_genm_ n52_a_lob_a01__1_3_1_3_3_2_1->n52_a_lob_a01__1_3_1_3_3_2_1_1 n52_a_lob_a01__1_3_1_3_3_2_1_1->n52_a_lob_a01__1_3_1_3_3_2_1_1_1 n52_a_lob_a01__1_3_1_3_3_2_2->n52_a_lob_a01__1_3_1_3_3_2_2_1 n52_a_lob_a01__1_4->n52_a_lob_a01__1_4_1 
( (IP-MAT (NP-SBJ;{KENNEDY} (PRO He;{he}))
          (VBD;_Tf_ believed;{believe})
          (CP-THT-OB1 (IP-SUB (NP-SBJ;{WEAVER} (PRO he;{he}))
                              (MD;_cat_Vi_ would;{will})
                              (IP-INF-CAT (VB;_Tn_ perform;{perform})
                                          (NP-OB1 (PULQ <lquo>)
                                                  (ADJP (ADJ outstanding;{outstanding}))
                                                  (N service;{service})
                                                  (PURQ <rquo>))
                                          (PP-NIM (P-ROLE in;{in})
                                                  (NP (NP-GEN;{WEAVER} (PRO;_genm_ his;{his}))
                                                      (N post;{post}))))))
          (PUNC .))
  (ID 52_a_lob_a01))