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_0002__was_r_0090_0003__impressed was impressed r_0090_0001__Geoffrey Geoffrey r_0090_0002__was_r_0090_0003__impressed->r_0090_0001__Geoffrey [arg1] r_0090_0005__the_r_0090_0006__efficiency the efficiency r_0090_0002__was_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] 
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_4 Geoffrey n90_a_lob_n01_6 was n90_a_lob_n01_9 impressed n90_a_lob_n01_12 by n90_a_lob_n01_15 the n90_a_lob_n01_17 efficiency n90_a_lob_n01_21 with n90_a_lob_n01_24 which n90_a_lob_n01_27 Alastair n90_a_lob_n01_29 managed n90_a_lob_n01_32 *ICH*-135 n90_a_lob_n01_34 to n90_a_lob_n01_36 surround n90_a_lob_n01_39 himself n90_a_lob_n01_41 . n90_a_lob_n01_1 IP-MAT n90_a_lob_n01_2 NP-SBJ n90_a_lob_n01_1->n90_a_lob_n01_2 n90_a_lob_n01_5 BED;_cat_VePASS_ n90_a_lob_n01_1->n90_a_lob_n01_5 n90_a_lob_n01_7 IP-PPL-CAT n90_a_lob_n01_1->n90_a_lob_n01_7 n90_a_lob_n01_40 PUNC n90_a_lob_n01_1->n90_a_lob_n01_40 n90_a_lob_n01_3 NPR n90_a_lob_n01_2->n90_a_lob_n01_3 n90_a_lob_n01_3->n90_a_lob_n01_4 n90_a_lob_n01_5->n90_a_lob_n01_6 n90_a_lob_n01_8 VVN;__ n90_a_lob_n01_7->n90_a_lob_n01_8 n90_a_lob_n01_10 PP-LGS n90_a_lob_n01_7->n90_a_lob_n01_10 n90_a_lob_n01_8->n90_a_lob_n01_9 n90_a_lob_n01_11 P-ROLE;_lgs_ n90_a_lob_n01_10->n90_a_lob_n01_11 n90_a_lob_n01_13 NP n90_a_lob_n01_10->n90_a_lob_n01_13 n90_a_lob_n01_11->n90_a_lob_n01_12 n90_a_lob_n01_14 D n90_a_lob_n01_13->n90_a_lob_n01_14 n90_a_lob_n01_16 N n90_a_lob_n01_13->n90_a_lob_n01_16 n90_a_lob_n01_18 IP-REL n90_a_lob_n01_13->n90_a_lob_n01_18 n90_a_lob_n01_14->n90_a_lob_n01_15 n90_a_lob_n01_16->n90_a_lob_n01_17 n90_a_lob_n01_19 PP-135 n90_a_lob_n01_18->n90_a_lob_n01_19 n90_a_lob_n01_25 NP-SBJ n90_a_lob_n01_18->n90_a_lob_n01_25 n90_a_lob_n01_28 VBD;__ n90_a_lob_n01_18->n90_a_lob_n01_28 n90_a_lob_n01_30 IP-INF-OB1 n90_a_lob_n01_18->n90_a_lob_n01_30 n90_a_lob_n01_20 P-ROLE n90_a_lob_n01_19->n90_a_lob_n01_20 n90_a_lob_n01_22 NP n90_a_lob_n01_19->n90_a_lob_n01_22 n90_a_lob_n01_20->n90_a_lob_n01_21 n90_a_lob_n01_23 RPRO n90_a_lob_n01_22->n90_a_lob_n01_23 n90_a_lob_n01_23->n90_a_lob_n01_24 n90_a_lob_n01_26 NPR n90_a_lob_n01_25->n90_a_lob_n01_26 n90_a_lob_n01_26->n90_a_lob_n01_27 n90_a_lob_n01_28->n90_a_lob_n01_29 n90_a_lob_n01_31 PP-NIM n90_a_lob_n01_30->n90_a_lob_n01_31 n90_a_lob_n01_33 TO n90_a_lob_n01_30->n90_a_lob_n01_33 n90_a_lob_n01_35 VB;__ n90_a_lob_n01_30->n90_a_lob_n01_35 n90_a_lob_n01_37 NP-OB1 n90_a_lob_n01_30->n90_a_lob_n01_37 n90_a_lob_n01_31->n90_a_lob_n01_32 n90_a_lob_n01_33->n90_a_lob_n01_34 n90_a_lob_n01_35->n90_a_lob_n01_36 n90_a_lob_n01_38 PNX n90_a_lob_n01_37->n90_a_lob_n01_38 n90_a_lob_n01_38->n90_a_lob_n01_39 n90_a_lob_n01_40->n90_a_lob_n01_41 
( (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))