TSPC 54_a_lob

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

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

arc(r_0054_0002__believed,r_0054_0001__He,arg0).
arc(r_0054_0002__believed,r_0054_0004__would,arg1).
arc(r_0054_0004__would,r_0054_0005__perform,scope).
arc(r_0054_0005__perform,r_0054_0003__he,arg0).
arc(r_0054_0005__perform,r_0054_0008__service,arg1).
arc(r_0054_0005__perform,r_0054_0012__post,r_0054_0010__in__nim).
arc(r_0054_0008__service,r_0054_0007__outstanding,attrib).
arc(r_0054_0012__post,r_0054_0003__he,gen).

fof(formula,axiom,
    ? [R_0054_0001__HE,R_0054_0003__HE,R_0054_0007__OUTSTANDING,R_0054_0008__SERVICE,R_0054_0012__POST,R_0054_0004__WOULD_R_0054_0005__PERFORM,R_0054_0002__BELIEVED] :
      ( r_0054_0001__He(R_0054_0001__HE)
      & r_0054_0003__he(R_0054_0003__HE)
      & r_0054_0007__outstanding(R_0054_0007__OUTSTANDING)
      & r_0054_0002__believed(R_0054_0002__BELIEVED)
      & has_arg1(R_0054_0002__BELIEVED,R_0054_0004__WOULD_R_0054_0005__PERFORM)
      & r_0054_0004__would_r_0054_0005__perform(R_0054_0004__WOULD_R_0054_0005__PERFORM)
      & has_r_0054_0010__in__nim(R_0054_0004__WOULD_R_0054_0005__PERFORM,R_0054_0012__POST)
      & r_0054_0012__post(R_0054_0012__POST)
      & has_gen(R_0054_0012__POST,R_0054_0003__HE)
      & has_arg1(R_0054_0004__WOULD_R_0054_0005__PERFORM,R_0054_0008__SERVICE)
      & r_0054_0008__service(R_0054_0008__SERVICE)
      & has_attrib(R_0054_0008__SERVICE,R_0054_0007__OUTSTANDING)
      & has_arg0(R_0054_0004__WOULD_R_0054_0005__PERFORM,R_0054_0003__HE)
      & has_arg0(R_0054_0002__BELIEVED,R_0054_0001__HE) ) ).