Context                Previous, Next                Top


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

%3 r_0090_0002__was was r_0090_0003__impressed impressed r_0090_0002__was->r_0090_0003__impressed [scope] r_0090_0001__Geoffrey Geoffrey r_0090_0003__impressed->r_0090_0001__Geoffrey [arg1] r_0090_0005__the_r_0090_0006__efficiency the efficiency r_0090_0003__impressed->r_0090_0005__the_r_0090_0006__efficiency [arg0] r_0090_0010__managed managed r_0090_0009__Alastair Alastair r_0090_0010__managed->r_0090_0009__Alastair [arg0] r_0090_0011__to_r_0090_0012__surround to surround r_0090_0010__managed->r_0090_0011__to_r_0090_0012__surround [arg1] r_0090_0011__to_r_0090_0012__surround->r_0090_0005__the_r_0090_0006__efficiency with [nim] r_0090_0011__to_r_0090_0012__surround->r_0090_0009__Alastair [arg0] r_0090_0011__to_r_0090_0012__surround->r_0090_0009__Alastair [arg1] 
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, arg0).
arc(r_0090_0010__managed, r_0090_0009__Alastair, arg0).
arc(r_0090_0010__managed, r_0090_0011__to_r_0090_0012__surround, arg1).
arc(r_0090_0011__to_r_0090_0012__surround, r_0090_0005__the_r_0090_0006__efficiency, r_0090_0007__with_nim22).
arc(r_0090_0011__to_r_0090_0012__surround, r_0090_0009__Alastair, arg0).
arc(r_0090_0011__to_r_0090_0012__surround, r_0090_0009__Alastair, arg1).


%3 r_0090_0011__to_r_0090_0012__surround to surround r_0090_0009__Alastair Alastair r_0090_0011__to_r_0090_0012__surround->r_0090_0009__Alastair [arg1] r_0090_0011__to_r_0090_0012__surround->r_0090_0009__Alastair [arg0] r_0090_0005__the_r_0090_0006__efficiency the efficiency r_0090_0011__to_r_0090_0012__surround->r_0090_0005__the_r_0090_0006__efficiency with [nim] r_0090_0010__managed managed r_0090_0010__managed->r_0090_0011__to_r_0090_0012__surround [arg1] r_0090_0010__managed->r_0090_0009__Alastair [arg0] r_0090_0002__was_r_0090_0003__impressed was impressed r_0090_0002__was_r_0090_0003__impressed->r_0090_0005__the_r_0090_0006__efficiency [arg0] r_0090_0001__Geoffrey Geoffrey r_0090_0002__was_r_0090_0003__impressed->r_0090_0001__Geoffrey [arg1] 
fof(formula,axiom,
    ? [R_90_2_WAS_IMPRESSED,R_90_1_GEOFFREY,R_90_10_MANAGED,R_90_11_TO_SURROUND,R_90_9_ALASTAIR,R_90_5_THE_EFFICIENCY] :
      ( geoffrey(R_90_1_GEOFFREY)
      & alastair(R_90_9_ALASTAIR)
      & the_efficiency(R_90_5_THE_EFFICIENCY)
      & was_impressed(R_90_2_WAS_IMPRESSED,R_90_5_THE_EFFICIENCY,R_90_1_GEOFFREY)
      & managed(R_90_10_MANAGED,R_90_9_ALASTAIR,R_90_11_TO_SURROUND)
      & to_surround(R_90_11_TO_SURROUND,R_90_9_ALASTAIR,R_90_9_ALASTAIR)
      & with_nim22(R_90_11_TO_SURROUND,R_90_5_THE_EFFICIENCY) ) ).


n90_a_lob_n01 n90_a_lob_n01__1_1_1_1 Geoffrey n90_a_lob_n01__1_2_1 was n90_a_lob_n01__1_3_1_1 impressed n90_a_lob_n01__1_3_2_1_1 by n90_a_lob_n01__1_3_2_2_1_1 the n90_a_lob_n01__1_3_2_2_2_1 efficiency n90_a_lob_n01__1_3_2_2_3_1_1_1 with n90_a_lob_n01__1_3_2_2_3_1_2_1_1 which n90_a_lob_n01__1_3_2_2_3_2_1_1 Alastair n90_a_lob_n01__1_3_2_2_3_3_1 managed n90_a_lob_n01__1_3_2_2_3_4_1_1 *ICH*-135 n90_a_lob_n01__1_3_2_2_3_4_2_1 to n90_a_lob_n01__1_3_2_2_3_4_3_1 surround n90_a_lob_n01__1_3_2_2_3_4_4_1_1 himself n90_a_lob_n01__1_4_1 . n90_a_lob_n01__1 IP-MAT n90_a_lob_n01__1_1 NP-SBJ n90_a_lob_n01__1->n90_a_lob_n01__1_1 n90_a_lob_n01__1_2 BED;_cat_VePASS_ n90_a_lob_n01__1->n90_a_lob_n01__1_2 n90_a_lob_n01__1_3 IP-PPL-CAT n90_a_lob_n01__1->n90_a_lob_n01__1_3 n90_a_lob_n01__1_4 PUNC n90_a_lob_n01__1->n90_a_lob_n01__1_4 n90_a_lob_n01__1_1_1 NPR n90_a_lob_n01__1_1->n90_a_lob_n01__1_1_1 n90_a_lob_n01__1_1_1->n90_a_lob_n01__1_1_1_1 n90_a_lob_n01__1_2->n90_a_lob_n01__1_2_1 n90_a_lob_n01__1_3_1 VVN;__ n90_a_lob_n01__1_3->n90_a_lob_n01__1_3_1 n90_a_lob_n01__1_3_2 PP-LGS n90_a_lob_n01__1_3->n90_a_lob_n01__1_3_2 n90_a_lob_n01__1_3_1->n90_a_lob_n01__1_3_1_1 n90_a_lob_n01__1_3_2_1 P-ROLE;_lgs_ n90_a_lob_n01__1_3_2->n90_a_lob_n01__1_3_2_1 n90_a_lob_n01__1_3_2_2 NP n90_a_lob_n01__1_3_2->n90_a_lob_n01__1_3_2_2 n90_a_lob_n01__1_3_2_1->n90_a_lob_n01__1_3_2_1_1 n90_a_lob_n01__1_3_2_2_1 D n90_a_lob_n01__1_3_2_2->n90_a_lob_n01__1_3_2_2_1 n90_a_lob_n01__1_3_2_2_2 N n90_a_lob_n01__1_3_2_2->n90_a_lob_n01__1_3_2_2_2 n90_a_lob_n01__1_3_2_2_3 IP-REL n90_a_lob_n01__1_3_2_2->n90_a_lob_n01__1_3_2_2_3 n90_a_lob_n01__1_3_2_2_1->n90_a_lob_n01__1_3_2_2_1_1 n90_a_lob_n01__1_3_2_2_2->n90_a_lob_n01__1_3_2_2_2_1 n90_a_lob_n01__1_3_2_2_3_1 PP-135 n90_a_lob_n01__1_3_2_2_3->n90_a_lob_n01__1_3_2_2_3_1 n90_a_lob_n01__1_3_2_2_3_2 NP-SBJ n90_a_lob_n01__1_3_2_2_3->n90_a_lob_n01__1_3_2_2_3_2 n90_a_lob_n01__1_3_2_2_3_3 VBD;__ n90_a_lob_n01__1_3_2_2_3->n90_a_lob_n01__1_3_2_2_3_3 n90_a_lob_n01__1_3_2_2_3_4 IP-INF-OB1 n90_a_lob_n01__1_3_2_2_3->n90_a_lob_n01__1_3_2_2_3_4 n90_a_lob_n01__1_3_2_2_3_1_1 P-ROLE n90_a_lob_n01__1_3_2_2_3_1->n90_a_lob_n01__1_3_2_2_3_1_1 n90_a_lob_n01__1_3_2_2_3_1_2 NP n90_a_lob_n01__1_3_2_2_3_1->n90_a_lob_n01__1_3_2_2_3_1_2 n90_a_lob_n01__1_3_2_2_3_1_1->n90_a_lob_n01__1_3_2_2_3_1_1_1 n90_a_lob_n01__1_3_2_2_3_1_2_1 RPRO n90_a_lob_n01__1_3_2_2_3_1_2->n90_a_lob_n01__1_3_2_2_3_1_2_1 n90_a_lob_n01__1_3_2_2_3_1_2_1->n90_a_lob_n01__1_3_2_2_3_1_2_1_1 n90_a_lob_n01__1_3_2_2_3_2_1 NPR n90_a_lob_n01__1_3_2_2_3_2->n90_a_lob_n01__1_3_2_2_3_2_1 n90_a_lob_n01__1_3_2_2_3_2_1->n90_a_lob_n01__1_3_2_2_3_2_1_1 n90_a_lob_n01__1_3_2_2_3_3->n90_a_lob_n01__1_3_2_2_3_3_1 n90_a_lob_n01__1_3_2_2_3_4_1 PP-NIM n90_a_lob_n01__1_3_2_2_3_4->n90_a_lob_n01__1_3_2_2_3_4_1 n90_a_lob_n01__1_3_2_2_3_4_2 TO n90_a_lob_n01__1_3_2_2_3_4->n90_a_lob_n01__1_3_2_2_3_4_2 n90_a_lob_n01__1_3_2_2_3_4_3 VB;__ n90_a_lob_n01__1_3_2_2_3_4->n90_a_lob_n01__1_3_2_2_3_4_3 n90_a_lob_n01__1_3_2_2_3_4_4 NP-OB1 n90_a_lob_n01__1_3_2_2_3_4->n90_a_lob_n01__1_3_2_2_3_4_4 n90_a_lob_n01__1_3_2_2_3_4_1->n90_a_lob_n01__1_3_2_2_3_4_1_1 n90_a_lob_n01__1_3_2_2_3_4_2->n90_a_lob_n01__1_3_2_2_3_4_2_1 n90_a_lob_n01__1_3_2_2_3_4_3->n90_a_lob_n01__1_3_2_2_3_4_3_1 n90_a_lob_n01__1_3_2_2_3_4_4_1 PNX n90_a_lob_n01__1_3_2_2_3_4_4->n90_a_lob_n01__1_3_2_2_3_4_4_1 n90_a_lob_n01__1_3_2_2_3_4_4_1->n90_a_lob_n01__1_3_2_2_3_4_4_1_1 n90_a_lob_n01__1_4->n90_a_lob_n01__1_4_1 
( (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))