TSPC 76_a_lob

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

( (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))

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__nim).
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,nim).
arc(r_0076_0017__came_r_0076_0018__through,r_0076_0012__6,r_0076_0011__at__nim).
arc(r_0076_0017__came_r_0076_0018__through,r_0076_0013__the_r_0076_0014__call,arg0).

fof(formula,axiom,
    ! [R_0076_0017__CAME_R_0076_0018__THROUGH,R_0076_0010__PUNCTUALLY,R_0076_0012__6,R_0076_0016__ALASTAIR,R_0076_0013__THE_R_0076_0014__CALL] :
      ( ( r_0076_0010__punctually(R_0076_0010__PUNCTUALLY)
        & r_0076_0012__6(R_0076_0012__6)
        & r_0076_0016__Alastair(R_0076_0016__ALASTAIR)
        & r_0076_0017__came_r_0076_0018__through(R_0076_0017__CAME_R_0076_0018__THROUGH)
        & has_arg0(R_0076_0017__CAME_R_0076_0018__THROUGH,R_0076_0013__THE_R_0076_0014__CALL)
        & r_0076_0013__the_r_0076_0014__call(R_0076_0013__THE_R_0076_0014__CALL)
        & has_r_0076_0015__from(R_0076_0013__THE_R_0076_0014__CALL,R_0076_0016__ALASTAIR)
        & has_r_0076_0011__at__nim(R_0076_0017__CAME_R_0076_0018__THROUGH,R_0076_0012__6)
        & has_nim(R_0076_0017__CAME_R_0076_0018__THROUGH,R_0076_0010__PUNCTUALLY) )
     => ? [R_0076_0001__GLORIA,R_0076_0006__THE_R_0076_0007__HOTEL_R_0076_0008__ROMA,R_0076_0002__HAD_R_0076_0003__BEEN_R_0076_0004__WAITING] :
          ( r_0076_0001__Gloria(R_0076_0001__GLORIA)
          & r_0076_0006__the_r_0076_0007__Hotel_r_0076_0008__Roma(R_0076_0006__THE_R_0076_0007__HOTEL_R_0076_0008__ROMA)
          & r_0076_0002__had_r_0076_0003__been_r_0076_0004__waiting(R_0076_0002__HAD_R_0076_0003__BEEN_R_0076_0004__WAITING)
          & has_r_0076_0005__at__nim(R_0076_0002__HAD_R_0076_0003__BEEN_R_0076_0004__WAITING,R_0076_0006__THE_R_0076_0007__HOTEL_R_0076_0008__ROMA)
          & has_arg0(R_0076_0002__HAD_R_0076_0003__BEEN_R_0076_0004__WAITING,R_0076_0001__GLORIA) ) ) ).