Context                Previous, Next                Top


76_a_lob_n01
Gloria had been waiting at the Hotel Roma when punctually at 6 the call from Alastair came through.

%3 r_0076_0002__had had r_0076_0003__been been r_0076_0002__had->r_0076_0003__been [scope] r_0076_0004__waiting waiting r_0076_0003__been->r_0076_0004__waiting [scope] r_0076_0001__Gloria Gloria r_0076_0004__waiting->r_0076_0001__Gloria [arg0] r_0076_0006__the_r_0076_0007__Hotel_r_0076_0008__Roma the Hotel Roma r_0076_0004__waiting->r_0076_0006__the_r_0076_0007__Hotel_r_0076_0008__Roma at [nim] r_0076_0009__when when r_0076_0009__when->r_0076_0002__had [scope] r_0076_0017__came_r_0076_0018__through came through r_0076_0009__when->r_0076_0017__came_r_0076_0018__through [restriction] r_0076_0013__the_r_0076_0014__call the call r_0076_0017__came_r_0076_0018__through->r_0076_0013__the_r_0076_0014__call [arg0] r_0076_0010__punctually punctually r_0076_0017__came_r_0076_0018__through->r_0076_0010__punctually [nim] r_0076_0012__6 6 r_0076_0017__came_r_0076_0018__through->r_0076_0012__6 at [nim] r_0076_0016__Alastair Alastair r_0076_0013__the_r_0076_0014__call->r_0076_0016__Alastair from 
arc(r_0076_0002__had, r_0076_0003__been, scope).
arc(r_0076_0003__been, r_0076_0004__waiting, scope).
arc(r_0076_0004__waiting, r_0076_0001__Gloria, arg0).
arc(r_0076_0004__waiting, r_0076_0006__the_r_0076_0007__Hotel_r_0076_0008__Roma, r_0076_0005__at_nim16).
arc(r_0076_0009__when, r_0076_0002__had, scope).
arc(r_0076_0009__when, r_0076_0017__came_r_0076_0018__through, restriction).
arc(r_0076_0013__the_r_0076_0014__call, r_0076_0016__Alastair, r_0076_0015__from).
arc(r_0076_0017__came_r_0076_0018__through, r_0076_0010__punctually, nim27).
arc(r_0076_0017__came_r_0076_0018__through, r_0076_0012__6, r_0076_0011__at_nim33).
arc(r_0076_0017__came_r_0076_0018__through, r_0076_0013__the_r_0076_0014__call, arg0).


%3 r_0076_0002__had_r_0076_0003__been_r_0076_0004__waiting had been waiting r_0076_0001__Gloria Gloria r_0076_0002__had_r_0076_0003__been_r_0076_0004__waiting->r_0076_0001__Gloria [arg0] r_0076_0006__the_r_0076_0007__Hotel_r_0076_0008__Roma the Hotel Roma r_0076_0002__had_r_0076_0003__been_r_0076_0004__waiting->r_0076_0006__the_r_0076_0007__Hotel_r_0076_0008__Roma at [nim] r_0076_0009__when when r_0076_0009__when->r_0076_0002__had_r_0076_0003__been_r_0076_0004__waiting [scope] r_0076_0017__came_r_0076_0018__through came through r_0076_0009__when->r_0076_0017__came_r_0076_0018__through [restriction] r_0076_0013__the_r_0076_0014__call the call r_0076_0017__came_r_0076_0018__through->r_0076_0013__the_r_0076_0014__call [arg0] r_0076_0010__punctually punctually r_0076_0017__came_r_0076_0018__through->r_0076_0010__punctually [nim] r_0076_0012__6 6 r_0076_0017__came_r_0076_0018__through->r_0076_0012__6 at [nim] r_0076_0016__Alastair Alastair r_0076_0013__the_r_0076_0014__call->r_0076_0016__Alastair from 
fof(formula,axiom,
    ! [R_76_17_CAME_THROUGH,R_76_13_THE_CALL,R_76_16_ALASTAIR,R_76_10_PUNCTUALLY,R_76_12_6] :
      ( ( alastair(R_76_16_ALASTAIR)
        & punctually(R_76_10_PUNCTUALLY)
        & 6(R_76_12_6)
        & came_through(R_76_17_CAME_THROUGH,R_76_13_THE_CALL)
        & the_call(R_76_13_THE_CALL)
        & from(R_76_13_THE_CALL,R_76_16_ALASTAIR)
        & nim27(R_76_17_CAME_THROUGH,R_76_10_PUNCTUALLY)
        & at_nim33(R_76_17_CAME_THROUGH,R_76_12_6) )
     => ? [R_76_2_HAD_BEEN_WAITING,R_76_1_GLORIA,R_76_6_THE_HOTEL_ROMA] :
          ( gloria(R_76_1_GLORIA)
          & the_Hotel_Roma(R_76_6_THE_HOTEL_ROMA)
          & had_been_waiting(R_76_2_HAD_BEEN_WAITING,R_76_1_GLORIA)
          & at_nim16(R_76_2_HAD_BEEN_WAITING,R_76_6_THE_HOTEL_ROMA) ) ) ).


n76_a_lob_n01 n76_a_lob_n01_4 Gloria n76_a_lob_n01_6 had n76_a_lob_n01_9 been n76_a_lob_n01_12 waiting n76_a_lob_n01_15 at n76_a_lob_n01_18 the n76_a_lob_n01_20 Hotel n76_a_lob_n01_22 Roma n76_a_lob_n01_25 when n76_a_lob_n01_29 punctually n76_a_lob_n01_32 at n76_a_lob_n01_35 6 n76_a_lob_n01_38 the n76_a_lob_n01_40 call n76_a_lob_n01_43 from n76_a_lob_n01_46 Alastair n76_a_lob_n01_48 came n76_a_lob_n01_50 through n76_a_lob_n01_52 . n76_a_lob_n01_1 IP-MAT n76_a_lob_n01_2 NP-SBJ n76_a_lob_n01_1->n76_a_lob_n01_2 n76_a_lob_n01_5 HVD;_cat_Ve_ n76_a_lob_n01_1->n76_a_lob_n01_5 n76_a_lob_n01_7 IP-PPL-CAT n76_a_lob_n01_1->n76_a_lob_n01_7 n76_a_lob_n01_23 PP-SCON n76_a_lob_n01_1->n76_a_lob_n01_23 n76_a_lob_n01_51 PUNC n76_a_lob_n01_1->n76_a_lob_n01_51 n76_a_lob_n01_3 NPR n76_a_lob_n01_2->n76_a_lob_n01_3 n76_a_lob_n01_3->n76_a_lob_n01_4 n76_a_lob_n01_5->n76_a_lob_n01_6 n76_a_lob_n01_8 BEN;_cat_Vg_ n76_a_lob_n01_7->n76_a_lob_n01_8 n76_a_lob_n01_10 IP-PPL-CAT n76_a_lob_n01_7->n76_a_lob_n01_10 n76_a_lob_n01_8->n76_a_lob_n01_9 n76_a_lob_n01_11 VAG;__ n76_a_lob_n01_10->n76_a_lob_n01_11 n76_a_lob_n01_13 PP-NIM n76_a_lob_n01_10->n76_a_lob_n01_13 n76_a_lob_n01_11->n76_a_lob_n01_12 n76_a_lob_n01_14 P-ROLE n76_a_lob_n01_13->n76_a_lob_n01_14 n76_a_lob_n01_16 NP n76_a_lob_n01_13->n76_a_lob_n01_16 n76_a_lob_n01_14->n76_a_lob_n01_15 n76_a_lob_n01_17 D n76_a_lob_n01_16->n76_a_lob_n01_17 n76_a_lob_n01_19 N n76_a_lob_n01_16->n76_a_lob_n01_19 n76_a_lob_n01_21 N n76_a_lob_n01_16->n76_a_lob_n01_21 n76_a_lob_n01_17->n76_a_lob_n01_18 n76_a_lob_n01_19->n76_a_lob_n01_20 n76_a_lob_n01_21->n76_a_lob_n01_22 n76_a_lob_n01_24 P-CONN n76_a_lob_n01_23->n76_a_lob_n01_24 n76_a_lob_n01_26 IP-ADV n76_a_lob_n01_23->n76_a_lob_n01_26 n76_a_lob_n01_24->n76_a_lob_n01_25 n76_a_lob_n01_27 ADVP-NIM n76_a_lob_n01_26->n76_a_lob_n01_27 n76_a_lob_n01_30 PP-NIM n76_a_lob_n01_26->n76_a_lob_n01_30 n76_a_lob_n01_36 NP-SBJ n76_a_lob_n01_26->n76_a_lob_n01_36 n76_a_lob_n01_47 VBD;__ n76_a_lob_n01_26->n76_a_lob_n01_47 n76_a_lob_n01_49 RP n76_a_lob_n01_26->n76_a_lob_n01_49 n76_a_lob_n01_28 ADV n76_a_lob_n01_27->n76_a_lob_n01_28 n76_a_lob_n01_28->n76_a_lob_n01_29 n76_a_lob_n01_31 P-ROLE n76_a_lob_n01_30->n76_a_lob_n01_31 n76_a_lob_n01_33 NP n76_a_lob_n01_30->n76_a_lob_n01_33 n76_a_lob_n01_31->n76_a_lob_n01_32 n76_a_lob_n01_34 NUM n76_a_lob_n01_33->n76_a_lob_n01_34 n76_a_lob_n01_34->n76_a_lob_n01_35 n76_a_lob_n01_37 D n76_a_lob_n01_36->n76_a_lob_n01_37 n76_a_lob_n01_39 N n76_a_lob_n01_36->n76_a_lob_n01_39 n76_a_lob_n01_41 PP n76_a_lob_n01_36->n76_a_lob_n01_41 n76_a_lob_n01_37->n76_a_lob_n01_38 n76_a_lob_n01_39->n76_a_lob_n01_40 n76_a_lob_n01_42 P-ROLE n76_a_lob_n01_41->n76_a_lob_n01_42 n76_a_lob_n01_44 NP n76_a_lob_n01_41->n76_a_lob_n01_44 n76_a_lob_n01_42->n76_a_lob_n01_43 n76_a_lob_n01_45 NPR n76_a_lob_n01_44->n76_a_lob_n01_45 n76_a_lob_n01_45->n76_a_lob_n01_46 n76_a_lob_n01_47->n76_a_lob_n01_48 n76_a_lob_n01_49->n76_a_lob_n01_50 n76_a_lob_n01_51->n76_a_lob_n01_52 
( (IP-MAT (NP-SBJ;{GLORIA} (NPR Gloria;{Gloria}))
          (HVD;_cat_Ve_ had;{have})
          (IP-PPL-CAT (BEN;_cat_Vg_ been;{be})
                      (IP-PPL-CAT (VAG;__ waiting;{wait})
                                  (PP-NIM (P-ROLE at;{at})
                                          (NP (D the;{the})
                                              (N Hotel;{hotel})
                                              (N Roma;{rom})))))
          (PP-SCON (P-CONN when;{when})
                   (IP-ADV (ADVP-NIM (ADV punctually;{punctually}))
                           (PP-NIM (P-ROLE at;{at})
                                   (NP (NUM 6)))
                           (NP-SBJ (D the;{the})
                                   (N call;{call})
                                   (PP (P-ROLE from;{from})
                                       (NP;{ALASTAIR} (NPR Alastair;{Alastair}))))
                           (VBD;__ came;{come})
                           (RP through;{through})))
          (PUNC .))
  (ID 76_a_lob_n01))