20_a_duplex
And so it goes, back and forth - and before long, Oren has the reservation in place.

%3 r_0020_0001__And_r_0020_0004__goes And goes r_0020_0002__so so r_0020_0001__And_r_0020_0004__goes->r_0020_0002__so [nim] r_0020_0003__it it r_0020_0001__And_r_0020_0004__goes->r_0020_0003__it [arg0] r_0020_0007__and and r_0020_0001__And_r_0020_0004__goes->r_0020_0007__and [nim] r_0020_0006__back back r_0020_0007__and->r_0020_0006__back [conj1] r_0020_0008__forth forth r_0020_0007__and->r_0020_0008__forth [conj2] r_0020_0010__and and r_0020_0010__and->r_0020_0001__And_r_0020_0004__goes [conj1] r_0020_0015__has has r_0020_0010__and->r_0020_0015__has [conj2] r_0020_0012__long long r_0020_0015__has->r_0020_0012__long [nim] r_0020_0014__Oren Oren r_0020_0015__has->r_0020_0014__Oren [arg0] r_0020_0016__the_r_0020_0017__reservation the reservation r_0020_0015__has->r_0020_0016__the_r_0020_0017__reservation [arg1] r_0020_0019__place place r_0020_0015__has->r_0020_0019__place in [nim] r_0020_0011__before before r_0020_0012__long->r_0020_0011__before [qual]
arc(r_0020_0001__And_r_0020_0004__goes, r_0020_0002__so, nim6).
arc(r_0020_0001__And_r_0020_0004__goes, r_0020_0003__it, arg0).
arc(r_0020_0001__And_r_0020_0004__goes, r_0020_0007__and, nim16).
arc(r_0020_0007__and, r_0020_0006__back, conj1).
arc(r_0020_0007__and, r_0020_0008__forth, conj2).
arc(r_0020_0010__and, r_0020_0001__And_r_0020_0004__goes, conj1).
arc(r_0020_0010__and, r_0020_0015__has, conj2).
arc(r_0020_0012__long, r_0020_0011__before, qual34).
arc(r_0020_0015__has, r_0020_0012__long, nim33).
arc(r_0020_0015__has, r_0020_0014__Oren, arg0).
arc(r_0020_0015__has, r_0020_0016__the_r_0020_0017__reservation, arg1).
arc(r_0020_0015__has, r_0020_0019__place, r_0020_0018__in_nim54).



%3 r_0020_0001__And_r_0020_0004__goes And goes r_0020_0002__so so r_0020_0001__And_r_0020_0004__goes->r_0020_0002__so [nim] r_0020_0003__it it r_0020_0001__And_r_0020_0004__goes->r_0020_0003__it [arg0] r_0020_0007__and and r_0020_0001__And_r_0020_0004__goes->r_0020_0007__and [nim] r_0020_0006__back back r_0020_0007__and->r_0020_0006__back [conj1] r_0020_0008__forth forth r_0020_0007__and->r_0020_0008__forth [conj2] r_0020_0010__and and r_0020_0010__and->r_0020_0001__And_r_0020_0004__goes [conj1] r_0020_0015__has has r_0020_0010__and->r_0020_0015__has [conj2] r_0020_0012__long long r_0020_0015__has->r_0020_0012__long [nim] r_0020_0014__Oren Oren r_0020_0015__has->r_0020_0014__Oren [arg0] r_0020_0016__the_r_0020_0017__reservation the reservation r_0020_0015__has->r_0020_0016__the_r_0020_0017__reservation [arg1] r_0020_0019__place place r_0020_0015__has->r_0020_0019__place in [nim] r_0020_0011__before before r_0020_0012__long->r_0020_0011__before [qual]
fof(formula,axiom,
    ? [R_20_10_AND,R_20_1_AND_GOES,R_20_3_IT,R_20_7_AND,R_20_6_BACK,R_20_8_FORTH,R_20_2_SO,R_20_15_HAS,R_20_14_OREN,R_20_16_THE_RESERVATION,R_20_12_LONG,R_20_11_BEFORE,R_20_19_PLACE] :
      ( it(R_20_3_IT)
      & back(R_20_6_BACK)
      & forth(R_20_8_FORTH)
      & so(R_20_2_SO)
      & oren(R_20_14_OREN)
      & the_reservation(R_20_16_THE_RESERVATION)
      & before(R_20_11_BEFORE)
      & place(R_20_19_PLACE)
      & and(R_20_10_AND)
      & conj1(R_20_10_AND,R_20_1_AND_GOES)
      & and_goes(R_20_1_AND_GOES,R_20_3_IT)
      & nim16(R_20_1_AND_GOES,R_20_7_AND)
      & and(R_20_7_AND)
      & conj1(R_20_7_AND,R_20_6_BACK)
      & conj2(R_20_7_AND,R_20_8_FORTH)
      & nim6(R_20_1_AND_GOES,R_20_2_SO)
      & conj2(R_20_10_AND,R_20_15_HAS)
      & has(R_20_15_HAS,R_20_14_OREN,R_20_16_THE_RESERVATION)
      & nim33(R_20_15_HAS,R_20_12_LONG)
      & long(R_20_12_LONG)
      & qual34(R_20_12_LONG,R_20_11_BEFORE)
      & in_nim54(R_20_15_HAS,R_20_19_PLACE) ) ).



n20_a_duplex n20_a_duplex_5 And n20_a_duplex_8 so n20_a_duplex_11 it n20_a_duplex_13 goes n20_a_duplex_15 , n20_a_duplex_20 back n20_a_duplex_23 and n20_a_duplex_26 forth n20_a_duplex_28 - n20_a_duplex_31 and n20_a_duplex_36 before n20_a_duplex_38 long n20_a_duplex_40 , n20_a_duplex_43 Oren n20_a_duplex_45 has n20_a_duplex_48 the n20_a_duplex_50 reservation n20_a_duplex_53 in n20_a_duplex_56 place n20_a_duplex_58 . n20_a_duplex_1 IP-MAT n20_a_duplex_2 ILYR n20_a_duplex_1->n20_a_duplex_2 n20_a_duplex_57 PUNC n20_a_duplex_1->n20_a_duplex_57 n20_a_duplex_3 ILYR n20_a_duplex_2->n20_a_duplex_3 n20_a_duplex_27 PUNC n20_a_duplex_2->n20_a_duplex_27 n20_a_duplex_29 CONJP n20_a_duplex_2->n20_a_duplex_29 n20_a_duplex_4 CONJ;_cl_ n20_a_duplex_3->n20_a_duplex_4 n20_a_duplex_6 ADVP-NIM n20_a_duplex_3->n20_a_duplex_6 n20_a_duplex_9 NP-SBJ n20_a_duplex_3->n20_a_duplex_9 n20_a_duplex_12 VBP;_I_ n20_a_duplex_3->n20_a_duplex_12 n20_a_duplex_14 PUNC n20_a_duplex_3->n20_a_duplex_14 n20_a_duplex_16 ADVP-NIM n20_a_duplex_3->n20_a_duplex_16 n20_a_duplex_4->n20_a_duplex_5 n20_a_duplex_7 ADV n20_a_duplex_6->n20_a_duplex_7 n20_a_duplex_7->n20_a_duplex_8 n20_a_duplex_10 PRO n20_a_duplex_9->n20_a_duplex_10 n20_a_duplex_10->n20_a_duplex_11 n20_a_duplex_12->n20_a_duplex_13 n20_a_duplex_14->n20_a_duplex_15 n20_a_duplex_17 AVLYR n20_a_duplex_16->n20_a_duplex_17 n20_a_duplex_18 AVLYR n20_a_duplex_17->n20_a_duplex_18 n20_a_duplex_21 CONJP n20_a_duplex_17->n20_a_duplex_21 n20_a_duplex_19 ADV n20_a_duplex_18->n20_a_duplex_19 n20_a_duplex_19->n20_a_duplex_20 n20_a_duplex_22 CONJ n20_a_duplex_21->n20_a_duplex_22 n20_a_duplex_24 AVLYR n20_a_duplex_21->n20_a_duplex_24 n20_a_duplex_22->n20_a_duplex_23 n20_a_duplex_25 ADV n20_a_duplex_24->n20_a_duplex_25 n20_a_duplex_25->n20_a_duplex_26 n20_a_duplex_27->n20_a_duplex_28 n20_a_duplex_30 CONJ n20_a_duplex_29->n20_a_duplex_30 n20_a_duplex_32 ILYR n20_a_duplex_29->n20_a_duplex_32 n20_a_duplex_30->n20_a_duplex_31 n20_a_duplex_33 ADVP-NIM n20_a_duplex_32->n20_a_duplex_33 n20_a_duplex_39 PUNC n20_a_duplex_32->n20_a_duplex_39 n20_a_duplex_41 NP-SBJ n20_a_duplex_32->n20_a_duplex_41 n20_a_duplex_44 HVP;_Tn.pr_ n20_a_duplex_32->n20_a_duplex_44 n20_a_duplex_46 NP-OB1 n20_a_duplex_32->n20_a_duplex_46 n20_a_duplex_51 PP-NIM n20_a_duplex_32->n20_a_duplex_51 n20_a_duplex_34 ADVP n20_a_duplex_33->n20_a_duplex_34 n20_a_duplex_37 ADV n20_a_duplex_33->n20_a_duplex_37 n20_a_duplex_35 ADV n20_a_duplex_34->n20_a_duplex_35 n20_a_duplex_35->n20_a_duplex_36 n20_a_duplex_37->n20_a_duplex_38 n20_a_duplex_39->n20_a_duplex_40 n20_a_duplex_42 NPR n20_a_duplex_41->n20_a_duplex_42 n20_a_duplex_42->n20_a_duplex_43 n20_a_duplex_44->n20_a_duplex_45 n20_a_duplex_47 D n20_a_duplex_46->n20_a_duplex_47 n20_a_duplex_49 N n20_a_duplex_46->n20_a_duplex_49 n20_a_duplex_47->n20_a_duplex_48 n20_a_duplex_49->n20_a_duplex_50 n20_a_duplex_52 P-ROLE n20_a_duplex_51->n20_a_duplex_52 n20_a_duplex_54 NP n20_a_duplex_51->n20_a_duplex_54 n20_a_duplex_52->n20_a_duplex_53 n20_a_duplex_55 N n20_a_duplex_54->n20_a_duplex_55 n20_a_duplex_55->n20_a_duplex_56 n20_a_duplex_57->n20_a_duplex_58
( (IP-MAT (ILYR (ILYR (CONJ;_cl_ And;{and})
                      (ADVP-NIM (ADV so;{so}))
                      (NP-SBJ;{CONVERSATION} (PRO it;{it}))
                      (VBP;_I_ goes;{go})
                      (PUNC ,)
                      (ADVP-NIM (AVLYR (AVLYR (ADV back;{back}))
                                       (CONJP (CONJ and;{and})
                                              (AVLYR (ADV forth;{forth}))))))
                (PUNC <hyphen>)
                (CONJP (CONJ and;{and})
                       (ILYR (ADVP-NIM (ADVP (ADV before;{before}))
                                       (ADV long;{long}))
                             (PUNC ,)
                             (NP-SBJ;{OREN} (NPR Oren;{Oren}))
                             (HVP;_Tn.pr_ has;{have[in]})
                             (NP-OB1;{RESERVATION} (D the;{the})
                                                   (N reservation;{reservation}))
                             (PP-NIM (P-ROLE in;{in})
                                     (NP (N place;{place}))))))
          (PUNC .))
  (ID 20_a_duplex))