TSPC 52_a_lob

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

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

fof(formula,axiom,
    ? [R_0052_0001__HE,R_0052_0003__HE,R_0052_0007__OUTSTANDING,R_0052_0008__SERVICE,R_0052_0012__POST,R_0052_0004__WOULD_R_0052_0005__PERFORM,R_0052_0002__BELIEVED] :
      ( r_0052_0001__He(R_0052_0001__HE)
      & r_0052_0003__he(R_0052_0003__HE)
      & r_0052_0007__outstanding(R_0052_0007__OUTSTANDING)
      & r_0052_0002__believed(R_0052_0002__BELIEVED)
      & has_arg1(R_0052_0002__BELIEVED,R_0052_0004__WOULD_R_0052_0005__PERFORM)
      & r_0052_0004__would_r_0052_0005__perform(R_0052_0004__WOULD_R_0052_0005__PERFORM)
      & has_r_0052_0010__in_nim30(R_0052_0004__WOULD_R_0052_0005__PERFORM,R_0052_0012__POST)
      & r_0052_0012__post(R_0052_0012__POST)
      & has_gen(R_0052_0012__POST,R_0052_0003__HE)
      & has_arg1(R_0052_0004__WOULD_R_0052_0005__PERFORM,R_0052_0008__SERVICE)
      & r_0052_0008__service(R_0052_0008__SERVICE)
      & has_attrib20(R_0052_0008__SERVICE,R_0052_0007__OUTSTANDING)
      & has_arg0(R_0052_0004__WOULD_R_0052_0005__PERFORM,R_0052_0003__HE)
      & has_arg0(R_0052_0002__BELIEVED,R_0052_0001__HE) ) ).

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