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_0017__came_r_0076_0018__through came through 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_0012__6 6 r_0076_0017__came_r_0076_0018__through->r_0076_0012__6 at [nim] r_0076_0010__punctually punctually r_0076_0017__came_r_0076_0018__through->r_0076_0010__punctually [nim] r_0076_0016__Alastair Alastair r_0076_0013__the_r_0076_0014__call->r_0076_0016__Alastair from r_0076_0009__when when r_0076_0009__when->r_0076_0017__came_r_0076_0018__through [restriction] r_0076_0002__had_r_0076_0003__been_r_0076_0004__waiting had been waiting r_0076_0009__when->r_0076_0002__had_r_0076_0003__been_r_0076_0004__waiting [scope] 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_0001__Gloria Gloria r_0076_0002__had_r_0076_0003__been_r_0076_0004__waiting->r_0076_0001__Gloria [arg0] 
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__1_1_1_1 Gloria n76_a_lob_n01__1_2_1 had n76_a_lob_n01__1_3_1_1 been n76_a_lob_n01__1_3_2_1_1 waiting n76_a_lob_n01__1_3_2_2_1_1 at n76_a_lob_n01__1_3_2_2_2_1_1 the n76_a_lob_n01__1_3_2_2_2_2_1 Hotel n76_a_lob_n01__1_3_2_2_2_3_1 Roma n76_a_lob_n01__1_4_1_1 when n76_a_lob_n01__1_4_2_1_1_1 punctually n76_a_lob_n01__1_4_2_2_1_1 at n76_a_lob_n01__1_4_2_2_2_1_1 6 n76_a_lob_n01__1_4_2_3_1_1 the n76_a_lob_n01__1_4_2_3_2_1 call n76_a_lob_n01__1_4_2_3_3_1_1 from n76_a_lob_n01__1_4_2_3_3_2_1_1 Alastair n76_a_lob_n01__1_4_2_4_1 came n76_a_lob_n01__1_4_2_5_1 through n76_a_lob_n01__1_5_1 . n76_a_lob_n01__1 IP-MAT n76_a_lob_n01__1_1 NP-SBJ n76_a_lob_n01__1->n76_a_lob_n01__1_1 n76_a_lob_n01__1_2 HVD;_cat_Ve_ n76_a_lob_n01__1->n76_a_lob_n01__1_2 n76_a_lob_n01__1_3 IP-PPL-CAT n76_a_lob_n01__1->n76_a_lob_n01__1_3 n76_a_lob_n01__1_4 PP-SCON n76_a_lob_n01__1->n76_a_lob_n01__1_4 n76_a_lob_n01__1_5 PUNC n76_a_lob_n01__1->n76_a_lob_n01__1_5 n76_a_lob_n01__1_1_1 NPR n76_a_lob_n01__1_1->n76_a_lob_n01__1_1_1 n76_a_lob_n01__1_1_1->n76_a_lob_n01__1_1_1_1 n76_a_lob_n01__1_2->n76_a_lob_n01__1_2_1 n76_a_lob_n01__1_3_1 BEN;_cat_Vg_ n76_a_lob_n01__1_3->n76_a_lob_n01__1_3_1 n76_a_lob_n01__1_3_2 IP-PPL-CAT n76_a_lob_n01__1_3->n76_a_lob_n01__1_3_2 n76_a_lob_n01__1_3_1->n76_a_lob_n01__1_3_1_1 n76_a_lob_n01__1_3_2_1 VAG;__ n76_a_lob_n01__1_3_2->n76_a_lob_n01__1_3_2_1 n76_a_lob_n01__1_3_2_2 PP-NIM n76_a_lob_n01__1_3_2->n76_a_lob_n01__1_3_2_2 n76_a_lob_n01__1_3_2_1->n76_a_lob_n01__1_3_2_1_1 n76_a_lob_n01__1_3_2_2_1 P-ROLE n76_a_lob_n01__1_3_2_2->n76_a_lob_n01__1_3_2_2_1 n76_a_lob_n01__1_3_2_2_2 NP n76_a_lob_n01__1_3_2_2->n76_a_lob_n01__1_3_2_2_2 n76_a_lob_n01__1_3_2_2_1->n76_a_lob_n01__1_3_2_2_1_1 n76_a_lob_n01__1_3_2_2_2_1 D n76_a_lob_n01__1_3_2_2_2->n76_a_lob_n01__1_3_2_2_2_1 n76_a_lob_n01__1_3_2_2_2_2 N n76_a_lob_n01__1_3_2_2_2->n76_a_lob_n01__1_3_2_2_2_2 n76_a_lob_n01__1_3_2_2_2_3 N n76_a_lob_n01__1_3_2_2_2->n76_a_lob_n01__1_3_2_2_2_3 n76_a_lob_n01__1_3_2_2_2_1->n76_a_lob_n01__1_3_2_2_2_1_1 n76_a_lob_n01__1_3_2_2_2_2->n76_a_lob_n01__1_3_2_2_2_2_1 n76_a_lob_n01__1_3_2_2_2_3->n76_a_lob_n01__1_3_2_2_2_3_1 n76_a_lob_n01__1_4_1 P-CONN n76_a_lob_n01__1_4->n76_a_lob_n01__1_4_1 n76_a_lob_n01__1_4_2 IP-ADV n76_a_lob_n01__1_4->n76_a_lob_n01__1_4_2 n76_a_lob_n01__1_4_1->n76_a_lob_n01__1_4_1_1 n76_a_lob_n01__1_4_2_1 ADVP-NIM n76_a_lob_n01__1_4_2->n76_a_lob_n01__1_4_2_1 n76_a_lob_n01__1_4_2_2 PP-NIM n76_a_lob_n01__1_4_2->n76_a_lob_n01__1_4_2_2 n76_a_lob_n01__1_4_2_3 NP-SBJ n76_a_lob_n01__1_4_2->n76_a_lob_n01__1_4_2_3 n76_a_lob_n01__1_4_2_4 VBD;__ n76_a_lob_n01__1_4_2->n76_a_lob_n01__1_4_2_4 n76_a_lob_n01__1_4_2_5 RP n76_a_lob_n01__1_4_2->n76_a_lob_n01__1_4_2_5 n76_a_lob_n01__1_4_2_1_1 ADV n76_a_lob_n01__1_4_2_1->n76_a_lob_n01__1_4_2_1_1 n76_a_lob_n01__1_4_2_1_1->n76_a_lob_n01__1_4_2_1_1_1 n76_a_lob_n01__1_4_2_2_1 P-ROLE n76_a_lob_n01__1_4_2_2->n76_a_lob_n01__1_4_2_2_1 n76_a_lob_n01__1_4_2_2_2 NP n76_a_lob_n01__1_4_2_2->n76_a_lob_n01__1_4_2_2_2 n76_a_lob_n01__1_4_2_2_1->n76_a_lob_n01__1_4_2_2_1_1 n76_a_lob_n01__1_4_2_2_2_1 NUM n76_a_lob_n01__1_4_2_2_2->n76_a_lob_n01__1_4_2_2_2_1 n76_a_lob_n01__1_4_2_2_2_1->n76_a_lob_n01__1_4_2_2_2_1_1 n76_a_lob_n01__1_4_2_3_1 D n76_a_lob_n01__1_4_2_3->n76_a_lob_n01__1_4_2_3_1 n76_a_lob_n01__1_4_2_3_2 N n76_a_lob_n01__1_4_2_3->n76_a_lob_n01__1_4_2_3_2 n76_a_lob_n01__1_4_2_3_3 PP n76_a_lob_n01__1_4_2_3->n76_a_lob_n01__1_4_2_3_3 n76_a_lob_n01__1_4_2_3_1->n76_a_lob_n01__1_4_2_3_1_1 n76_a_lob_n01__1_4_2_3_2->n76_a_lob_n01__1_4_2_3_2_1 n76_a_lob_n01__1_4_2_3_3_1 P-ROLE n76_a_lob_n01__1_4_2_3_3->n76_a_lob_n01__1_4_2_3_3_1 n76_a_lob_n01__1_4_2_3_3_2 NP n76_a_lob_n01__1_4_2_3_3->n76_a_lob_n01__1_4_2_3_3_2 n76_a_lob_n01__1_4_2_3_3_1->n76_a_lob_n01__1_4_2_3_3_1_1 n76_a_lob_n01__1_4_2_3_3_2_1 NPR n76_a_lob_n01__1_4_2_3_3_2->n76_a_lob_n01__1_4_2_3_3_2_1 n76_a_lob_n01__1_4_2_3_3_2_1->n76_a_lob_n01__1_4_2_3_3_2_1_1 n76_a_lob_n01__1_4_2_4->n76_a_lob_n01__1_4_2_4_1 n76_a_lob_n01__1_4_2_5->n76_a_lob_n01__1_4_2_5_1 n76_a_lob_n01__1_5->n76_a_lob_n01__1_5_1 
( (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))