arc(r_0009_0003___apos_ll, r_0009_0004__be, scope).
arc(r_0009_0004__be, r_0009_0005__waiting, scope).
arc(r_0009_0005__waiting, r_0009_0002__I, arg0).
arc(r_0009_0005__waiting, r_0009_0007__you, r_0009_0006__for_clr20).
arc(r_0009_0005__waiting, r_0009_0009__the_r_0009_0010__Hotel_r_0009_0011__Roma, r_0009_0008__at_nim26).
arc(r_0009_0005__waiting, r_0009_0013__six, r_0009_0012__at_nim36).
arc(r_0009_0005__waiting, r_0009_0014__this_r_0009_0015__evening, nim39).
arc(r_0009_0017__and, r_0009_0003___apos_ll, conj1).
arc(r_0009_0017__and, r_0009_0019__shall, conj2).
arc(r_0009_0019__shall, r_0009_0020__look_r_0009_0021__forward, scope).
arc(r_0009_0020__look_r_0009_0021__forward, r_0009_0002__I, arg0).
arc(r_0009_0020__look_r_0009_0021__forward, r_0009_0023__meeting, r_0009_0022__to_clr63).
arc(r_0009_0023__meeting, r_0009_0024__you, arg1).
arc(r_0009_0023__meeting, r_0009_0025__both, nim69).
arc(r_0009_0023__meeting, r_0009_0027__midnight, r_0009_0026__at_nim75).
arc(r_0009_0023__meeting, z_000_9_a_lob_n01_63, arg0).

fof(formula,axiom,
    ? [R_0009_0002__I,R_0009_0007__YOU,R_0009_0009__THE_R_0009_0010__HOTEL_R_0009_0011__ROMA,R_0009_0013__SIX,R_0009_0014__THIS_R_0009_0015__EVENING,R_0009_0003___APOS_LL_R_0009_0004__BE_R_0009_0005__WAITING,R_0009_0024__YOU,R_0009_0025__BOTH,R_0009_0027__MIDNIGHT,Z_000_9_A_LOB_N01_63,R_0009_0023__MEETING,R_0009_0019__SHALL_R_0009_0020__LOOK_R_0009_0021__FORWARD,R_0009_0017__AND] :
      ( r_0009_0002__I(R_0009_0002__I)
      & r_0009_0007__you(R_0009_0007__YOU)
      & r_0009_0009__the_r_0009_0010__Hotel_r_0009_0011__Roma(R_0009_0009__THE_R_0009_0010__HOTEL_R_0009_0011__ROMA)
      & r_0009_0013__six(R_0009_0013__SIX)
      & r_0009_0014__this_r_0009_0015__evening(R_0009_0014__THIS_R_0009_0015__EVENING)
      & r_0009_0024__you(R_0009_0024__YOU)
      & r_0009_0025__both(R_0009_0025__BOTH)
      & r_0009_0027__midnight(R_0009_0027__MIDNIGHT)
      & z_000_9_a_lob_n01_63(Z_000_9_A_LOB_N01_63)
      & r_0009_0017__and(R_0009_0017__AND)
      & has_conj2(R_0009_0017__AND,R_0009_0019__SHALL_R_0009_0020__LOOK_R_0009_0021__FORWARD)
      & r_0009_0019__shall_r_0009_0020__look_r_0009_0021__forward(R_0009_0019__SHALL_R_0009_0020__LOOK_R_0009_0021__FORWARD)
      & has_r_0009_0022__to_clr63(R_0009_0019__SHALL_R_0009_0020__LOOK_R_0009_0021__FORWARD,R_0009_0023__MEETING)
      & r_0009_0023__meeting(R_0009_0023__MEETING)
      & has_arg0(R_0009_0023__MEETING,Z_000_9_A_LOB_N01_63)
      & has_r_0009_0026__at_nim75(R_0009_0023__MEETING,R_0009_0027__MIDNIGHT)
      & has_nim69(R_0009_0023__MEETING,R_0009_0025__BOTH)
      & has_arg1(R_0009_0023__MEETING,R_0009_0024__YOU)
      & has_arg0(R_0009_0019__SHALL_R_0009_0020__LOOK_R_0009_0021__FORWARD,R_0009_0002__I)
      & has_conj1(R_0009_0017__AND,R_0009_0003___APOS_LL_R_0009_0004__BE_R_0009_0005__WAITING)
      & r_0009_0003___apos_ll_r_0009_0004__be_r_0009_0005__waiting(R_0009_0003___APOS_LL_R_0009_0004__BE_R_0009_0005__WAITING)
      & has_nim39(R_0009_0003___APOS_LL_R_0009_0004__BE_R_0009_0005__WAITING,R_0009_0014__THIS_R_0009_0015__EVENING)
      & has_r_0009_0012__at_nim36(R_0009_0003___APOS_LL_R_0009_0004__BE_R_0009_0005__WAITING,R_0009_0013__SIX)
      & has_r_0009_0008__at_nim26(R_0009_0003___APOS_LL_R_0009_0004__BE_R_0009_0005__WAITING,R_0009_0009__THE_R_0009_0010__HOTEL_R_0009_0011__ROMA)
      & has_r_0009_0006__for_clr20(R_0009_0003___APOS_LL_R_0009_0004__BE_R_0009_0005__WAITING,R_0009_0007__YOU)
      & has_arg0(R_0009_0003___APOS_LL_R_0009_0004__BE_R_0009_0005__WAITING,R_0009_0002__I) ) ).

( (IP-MAT (PULQ <lquo>)
          (ILYR (ILYR (NP-SBJ (PRO I;{I}))
                      (MD;_cat_Vi_ <apos>ll;{will})
                      (IP-INF-CAT (BE;_cat_Vg_ be;{be})
                                  (IP-PPL-CAT (VAG;_Ipr_ waiting;{wait[for]})
                                              (PP-CLR (P-ROLE for;{for})
                                                      (NP (PRO you;{you})))
                                              (PP-NIM (P-ROLE at;{at})
                                                      (NP (D the;{the})
                                                          (NPR Hotel;{hotel})
                                                          (NPR Roma;{rom})))
                                              (PP-NIM (P-ROLE at;{at})
                                                      (NP (NUM six;{six})))
                                              (NP-NIM (D this;{this})
                                                      (N evening;{evening})))))
                (PUNC <mdash>)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (PRO I;{I}))
                             (MD;_cat_Vi_ shall;{shall})
                             (IP-INF-CAT (VB;_phr_Vp.pr_ look;{look[forward,to]})
                                         (RP forward;{forward})
                                         (PP-CLR (P-ROLE to;{to})
                                                 (IP-PPL (VAG;_Tn_ meeting;{meet})
                                                         (NP-OB1 (PRO you;{you}))
                                                         (ADVP-NIM (ADV both;{both}))
                                                         (PP-NIM (P-ROLE at;{at})
                                                                 (NP (N midnight;{midnight})))))))))
          (PUNC .)
          (PURQ <rquo>))
  (ID 9_a_lob_n01))