TSPC 48_a_lob

48_a_lob_n01
Geoffrey set himself to consider the movements of the Bentley.

( (IP-MAT (NP-SBJ;{GEOFFREY} (NPR Geoffrey;{Geoffrey}))
          (VBD;_Cn.t_ set;{set})
          (NP-OB1;{GEOFFREY} (PNX himself;{himself}))
          (IP-INF-PRD (TO to;{to})
                      (VB;_Tn_ consider;{consider})
                      (NP-OB1 (D the;{the})
                              (NS movements;{movement})
                              (PP (P-ROLE of;{of})
                                  (NP;{BENTLEY} (D the;{the})
                                                (N Bentley;{bentley})))))
          (PUNC .))
  (ID 48_a_lob_n01))

arc(r_0048_0002__set,r_0048_0001__Geoffrey,arg0).
arc(r_0048_0002__set,r_0048_0001__Geoffrey,arg1).
arc(r_0048_0002__set,r_0048_0005__consider,prd).
arc(r_0048_0005__consider,r_0048_0006__the_r_0048_0007__movements,arg1).
arc(r_0048_0005__consider,z_0048_5004,arg0).
arc(r_0048_0006__the_r_0048_0007__movements,r_0048_0009__the_r_0048_0010__Bentley,r_0048_0008__of).

fof(formula,axiom,
    ? [R_0048_0001__GEOFFREY,R_0048_0009__THE_R_0048_0010__BENTLEY,R_0048_0006__THE_R_0048_0007__MOVEMENTS,Z_0048_5004,R_0048_0005__CONSIDER,R_0048_0002__SET] :
      ( r_0048_0001__Geoffrey(R_0048_0001__GEOFFREY)
      & r_0048_0009__the_r_0048_0010__Bentley(R_0048_0009__THE_R_0048_0010__BENTLEY)
      & z_0048_5004(Z_0048_5004)
      & r_0048_0002__set(R_0048_0002__SET)
      & has_prd(R_0048_0002__SET,R_0048_0005__CONSIDER)
      & r_0048_0005__consider(R_0048_0005__CONSIDER)
      & has_arg0(R_0048_0005__CONSIDER,Z_0048_5004)
      & has_arg1(R_0048_0005__CONSIDER,R_0048_0006__THE_R_0048_0007__MOVEMENTS)
      & r_0048_0006__the_r_0048_0007__movements(R_0048_0006__THE_R_0048_0007__MOVEMENTS)
      & has_r_0048_0008__of(R_0048_0006__THE_R_0048_0007__MOVEMENTS,R_0048_0009__THE_R_0048_0010__BENTLEY)
      & has_arg1(R_0048_0002__SET,R_0048_0001__GEOFFREY)
      & has_arg0(R_0048_0002__SET,R_0048_0001__GEOFFREY) ) ).