TSPC 20_a_duplex

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

( (IP-MAT (ILYR (CONJ;_cl_ And;{and})
                (ILYR (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))

arc(r_0020_0001__And_r_0020_0010__and,r_0020_0004__goes,conj1).
arc(r_0020_0001__And_r_0020_0010__and,r_0020_0015__has,conj2).
arc(r_0020_0004__goes,r_0020_0002__so,nim).
arc(r_0020_0004__goes,r_0020_0003__it,arg0).
arc(r_0020_0004__goes,r_0020_0007__and,nim).
arc(r_0020_0007__and,r_0020_0006__back,conj1).
arc(r_0020_0007__and,r_0020_0008__forth,conj2).
arc(r_0020_0012__long,r_0020_0011__before,qual).
arc(r_0020_0015__has,r_0020_0012__long,nim).
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__nim).

fof(formula,axiom,
    ? [R_0020_0002__SO,R_0020_0003__IT,R_0020_0006__BACK,R_0020_0008__FORTH,R_0020_0007__AND,R_0020_0004__GOES,R_0020_0011__BEFORE,R_0020_0012__LONG,R_0020_0014__OREN,R_0020_0016__THE_R_0020_0017__RESERVATION,R_0020_0019__PLACE,R_0020_0015__HAS,R_0020_0001__AND_R_0020_0010__AND] :
      ( r_0020_0002__so(R_0020_0002__SO)
      & r_0020_0003__it(R_0020_0003__IT)
      & r_0020_0006__back(R_0020_0006__BACK)
      & r_0020_0008__forth(R_0020_0008__FORTH)
      & r_0020_0011__before(R_0020_0011__BEFORE)
      & r_0020_0014__Oren(R_0020_0014__OREN)
      & r_0020_0016__the_r_0020_0017__reservation(R_0020_0016__THE_R_0020_0017__RESERVATION)
      & r_0020_0019__place(R_0020_0019__PLACE)
      & r_0020_0001__And_r_0020_0010__and(R_0020_0001__AND_R_0020_0010__AND)
      & has_conj2(R_0020_0001__AND_R_0020_0010__AND,R_0020_0015__HAS)
      & r_0020_0015__has(R_0020_0015__HAS)
      & has_r_0020_0018__in__nim(R_0020_0015__HAS,R_0020_0019__PLACE)
      & has_arg1(R_0020_0015__HAS,R_0020_0016__THE_R_0020_0017__RESERVATION)
      & has_arg0(R_0020_0015__HAS,R_0020_0014__OREN)
      & has_nim(R_0020_0015__HAS,R_0020_0012__LONG)
      & r_0020_0012__long(R_0020_0012__LONG)
      & has_qual(R_0020_0012__LONG,R_0020_0011__BEFORE)
      & has_conj1(R_0020_0001__AND_R_0020_0010__AND,R_0020_0004__GOES)
      & r_0020_0004__goes(R_0020_0004__GOES)
      & has_nim(R_0020_0004__GOES,R_0020_0007__AND)
      & r_0020_0007__and(R_0020_0007__AND)
      & has_conj2(R_0020_0007__AND,R_0020_0008__FORTH)
      & has_conj1(R_0020_0007__AND,R_0020_0006__BACK)
      & has_arg0(R_0020_0004__GOES,R_0020_0003__IT)
      & has_nim(R_0020_0004__GOES,R_0020_0002__SO) ) ).