TSPC 90_a_lob

90_a_lob_n01
Geoffrey was impressed by the efficiency with which Alastair managed to surround himself.

( (IP-MAT (NP-SBJ;{GEOFFREY} (NPR Geoffrey;{Geoffrey}))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (VVN;__ impressed;{impress})
                      (PP-LGS (P-ROLE;_lgs_ by;{by})
                              (NP (D the;{the})
                                  (N efficiency;{efficiency})
                                  (IP-REL (PP-135 (P-ROLE with;{with})
                                                  (NP (RPRO which;{which})))
                                          (NP-SBJ;{ALASTAIR} (NPR Alastair;{Alastair}))
                                          (VBD;__ managed;{manage})
                                          (IP-INF-OB1 (PP-NIM *ICH*-135)
                                                      (TO to;{to})
                                                      (VB;__ surround;{surround})
                                                      (NP-OB1;{ALASTAIR} (PNX himself;{himself})))))))
          (PUNC .))
  (ID 90_a_lob_n01))

arc(r_0090_0002__was,r_0090_0003__impressed,scope).
arc(r_0090_0003__impressed,r_0090_0001__Geoffrey,arg1).
arc(r_0090_0003__impressed,r_0090_0005__the_r_0090_0006__efficiency,r_0090_0004__by_arg0).
arc(r_0090_0010__managed,r_0090_0009__Alastair,arg0).
arc(r_0090_0010__managed,r_0090_0012__surround,arg1).
arc(r_0090_0012__surround,r_0090_0005__the_r_0090_0006__efficiency,r_0090_0007__with__nim).
arc(r_0090_0012__surround,r_0090_0009__Alastair,arg0).
arc(r_0090_0012__surround,r_0090_0009__Alastair,arg1).

fof(formula,axiom,
    ? [R_0090_0001__GEOFFREY,R_0090_0005__THE_R_0090_0006__EFFICIENCY,R_0090_0002__WAS_R_0090_0003__IMPRESSED,R_0090_0009__ALASTAIR,R_0090_0012__SURROUND,R_0090_0010__MANAGED] :
      ( r_0090_0001__Geoffrey(R_0090_0001__GEOFFREY)
      & r_0090_0005__the_r_0090_0006__efficiency(R_0090_0005__THE_R_0090_0006__EFFICIENCY)
      & r_0090_0009__Alastair(R_0090_0009__ALASTAIR)
      & r_0090_0010__managed(R_0090_0010__MANAGED)
      & has_arg1(R_0090_0010__MANAGED,R_0090_0012__SURROUND)
      & r_0090_0012__surround(R_0090_0012__SURROUND)
      & has_arg1(R_0090_0012__SURROUND,R_0090_0009__ALASTAIR)
      & has_arg0(R_0090_0012__SURROUND,R_0090_0009__ALASTAIR)
      & has_r_0090_0007__with__nim(R_0090_0012__SURROUND,R_0090_0005__THE_R_0090_0006__EFFICIENCY)
      & has_arg0(R_0090_0010__MANAGED,R_0090_0009__ALASTAIR)
      & r_0090_0002__was_r_0090_0003__impressed(R_0090_0002__WAS_R_0090_0003__IMPRESSED)
      & has_r_0090_0004__by_arg0(R_0090_0002__WAS_R_0090_0003__IMPRESSED,R_0090_0005__THE_R_0090_0006__EFFICIENCY)
      & has_arg1(R_0090_0002__WAS_R_0090_0003__IMPRESSED,R_0090_0001__GEOFFREY) ) ).