Context                Previous, Next                Top


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_0015__has has r_0020_0019__place place r_0020_0015__has->r_0020_0019__place in [nim] 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_0014__Oren Oren r_0020_0015__has->r_0020_0014__Oren [arg0] r_0020_0012__long long r_0020_0015__has->r_0020_0012__long [nim] r_0020_0011__before before r_0020_0012__long->r_0020_0011__before [qual] r_0020_0010__and and r_0020_0010__and->r_0020_0015__has [conj2] r_0020_0001__And_r_0020_0004__goes And goes r_0020_0010__and->r_0020_0001__And_r_0020_0004__goes [conj1] r_0020_0007__and and r_0020_0001__And_r_0020_0004__goes->r_0020_0007__and [nim] r_0020_0003__it it r_0020_0001__And_r_0020_0004__goes->r_0020_0003__it [arg0] r_0020_0002__so so r_0020_0001__And_r_0020_0004__goes->r_0020_0002__so [nim] r_0020_0008__forth forth r_0020_0007__and->r_0020_0008__forth [conj2] r_0020_0006__back back r_0020_0007__and->r_0020_0006__back [conj1] 
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_0001__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_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_0010__and(R_0020_0010__AND)
      & has_conj2(R_0020_0010__AND,R_0020_0015__HAS)
      & r_0020_0015__has(R_0020_0015__HAS)
      & has_r_0020_0018__in_nim54(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_nim33(R_0020_0015__HAS,R_0020_0012__LONG)
      & r_0020_0012__long(R_0020_0012__LONG)
      & has_qual34(R_0020_0012__LONG,R_0020_0011__BEFORE)
      & has_conj1(R_0020_0010__AND,R_0020_0001__AND_R_0020_0004__GOES)
      & r_0020_0001__And_r_0020_0004__goes(R_0020_0001__AND_R_0020_0004__GOES)
      & has_nim16(R_0020_0001__AND_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_0001__AND_R_0020_0004__GOES,R_0020_0003__IT)
      & has_nim6(R_0020_0001__AND_R_0020_0004__GOES,R_0020_0002__SO) ) ).


n20_a_duplex n20_a_duplex__1_1_1_1_1 And n20_a_duplex__1_1_1_2_1_1 so n20_a_duplex__1_1_1_3_1_1 it n20_a_duplex__1_1_1_4_1 goes n20_a_duplex__1_1_1_5_1 , n20_a_duplex__1_1_1_6_1_1_1_1 back n20_a_duplex__1_1_1_6_1_2_1_1 and n20_a_duplex__1_1_1_6_1_2_2_1_1 forth n20_a_duplex__1_1_2_1 - n20_a_duplex__1_1_3_1_1 and n20_a_duplex__1_1_3_2_1_1_1_1 before n20_a_duplex__1_1_3_2_1_2_1 long n20_a_duplex__1_1_3_2_2_1 , n20_a_duplex__1_1_3_2_3_1_1 Oren n20_a_duplex__1_1_3_2_4_1 has n20_a_duplex__1_1_3_2_5_1_1 the n20_a_duplex__1_1_3_2_5_2_1 reservation n20_a_duplex__1_1_3_2_6_1_1 in n20_a_duplex__1_1_3_2_6_2_1_1 place n20_a_duplex__1_2_1 . n20_a_duplex__1 IP-MAT n20_a_duplex__1_1 ILYR n20_a_duplex__1->n20_a_duplex__1_1 n20_a_duplex__1_2 PUNC n20_a_duplex__1->n20_a_duplex__1_2 n20_a_duplex__1_1_1 ILYR n20_a_duplex__1_1->n20_a_duplex__1_1_1 n20_a_duplex__1_1_2 PUNC n20_a_duplex__1_1->n20_a_duplex__1_1_2 n20_a_duplex__1_1_3 CONJP n20_a_duplex__1_1->n20_a_duplex__1_1_3 n20_a_duplex__1_1_1_1 CONJ;_cl_ n20_a_duplex__1_1_1->n20_a_duplex__1_1_1_1 n20_a_duplex__1_1_1_2 ADVP-NIM n20_a_duplex__1_1_1->n20_a_duplex__1_1_1_2 n20_a_duplex__1_1_1_3 NP-SBJ n20_a_duplex__1_1_1->n20_a_duplex__1_1_1_3 n20_a_duplex__1_1_1_4 VBP;_I_ n20_a_duplex__1_1_1->n20_a_duplex__1_1_1_4 n20_a_duplex__1_1_1_5 PUNC n20_a_duplex__1_1_1->n20_a_duplex__1_1_1_5 n20_a_duplex__1_1_1_6 ADVP-NIM n20_a_duplex__1_1_1->n20_a_duplex__1_1_1_6 n20_a_duplex__1_1_1_1->n20_a_duplex__1_1_1_1_1 n20_a_duplex__1_1_1_2_1 ADV n20_a_duplex__1_1_1_2->n20_a_duplex__1_1_1_2_1 n20_a_duplex__1_1_1_2_1->n20_a_duplex__1_1_1_2_1_1 n20_a_duplex__1_1_1_3_1 PRO n20_a_duplex__1_1_1_3->n20_a_duplex__1_1_1_3_1 n20_a_duplex__1_1_1_3_1->n20_a_duplex__1_1_1_3_1_1 n20_a_duplex__1_1_1_4->n20_a_duplex__1_1_1_4_1 n20_a_duplex__1_1_1_5->n20_a_duplex__1_1_1_5_1 n20_a_duplex__1_1_1_6_1 AVLYR n20_a_duplex__1_1_1_6->n20_a_duplex__1_1_1_6_1 n20_a_duplex__1_1_1_6_1_1 AVLYR n20_a_duplex__1_1_1_6_1->n20_a_duplex__1_1_1_6_1_1 n20_a_duplex__1_1_1_6_1_2 CONJP n20_a_duplex__1_1_1_6_1->n20_a_duplex__1_1_1_6_1_2 n20_a_duplex__1_1_1_6_1_1_1 ADV n20_a_duplex__1_1_1_6_1_1->n20_a_duplex__1_1_1_6_1_1_1 n20_a_duplex__1_1_1_6_1_1_1->n20_a_duplex__1_1_1_6_1_1_1_1 n20_a_duplex__1_1_1_6_1_2_1 CONJ n20_a_duplex__1_1_1_6_1_2->n20_a_duplex__1_1_1_6_1_2_1 n20_a_duplex__1_1_1_6_1_2_2 AVLYR n20_a_duplex__1_1_1_6_1_2->n20_a_duplex__1_1_1_6_1_2_2 n20_a_duplex__1_1_1_6_1_2_1->n20_a_duplex__1_1_1_6_1_2_1_1 n20_a_duplex__1_1_1_6_1_2_2_1 ADV n20_a_duplex__1_1_1_6_1_2_2->n20_a_duplex__1_1_1_6_1_2_2_1 n20_a_duplex__1_1_1_6_1_2_2_1->n20_a_duplex__1_1_1_6_1_2_2_1_1 n20_a_duplex__1_1_2->n20_a_duplex__1_1_2_1 n20_a_duplex__1_1_3_1 CONJ n20_a_duplex__1_1_3->n20_a_duplex__1_1_3_1 n20_a_duplex__1_1_3_2 ILYR n20_a_duplex__1_1_3->n20_a_duplex__1_1_3_2 n20_a_duplex__1_1_3_1->n20_a_duplex__1_1_3_1_1 n20_a_duplex__1_1_3_2_1 ADVP-NIM n20_a_duplex__1_1_3_2->n20_a_duplex__1_1_3_2_1 n20_a_duplex__1_1_3_2_2 PUNC n20_a_duplex__1_1_3_2->n20_a_duplex__1_1_3_2_2 n20_a_duplex__1_1_3_2_3 NP-SBJ n20_a_duplex__1_1_3_2->n20_a_duplex__1_1_3_2_3 n20_a_duplex__1_1_3_2_4 HVP;_Tn.pr_ n20_a_duplex__1_1_3_2->n20_a_duplex__1_1_3_2_4 n20_a_duplex__1_1_3_2_5 NP-OB1 n20_a_duplex__1_1_3_2->n20_a_duplex__1_1_3_2_5 n20_a_duplex__1_1_3_2_6 PP-NIM n20_a_duplex__1_1_3_2->n20_a_duplex__1_1_3_2_6 n20_a_duplex__1_1_3_2_1_1 ADVP n20_a_duplex__1_1_3_2_1->n20_a_duplex__1_1_3_2_1_1 n20_a_duplex__1_1_3_2_1_2 ADV n20_a_duplex__1_1_3_2_1->n20_a_duplex__1_1_3_2_1_2 n20_a_duplex__1_1_3_2_1_1_1 ADV n20_a_duplex__1_1_3_2_1_1->n20_a_duplex__1_1_3_2_1_1_1 n20_a_duplex__1_1_3_2_1_1_1->n20_a_duplex__1_1_3_2_1_1_1_1 n20_a_duplex__1_1_3_2_1_2->n20_a_duplex__1_1_3_2_1_2_1 n20_a_duplex__1_1_3_2_2->n20_a_duplex__1_1_3_2_2_1 n20_a_duplex__1_1_3_2_3_1 NPR n20_a_duplex__1_1_3_2_3->n20_a_duplex__1_1_3_2_3_1 n20_a_duplex__1_1_3_2_3_1->n20_a_duplex__1_1_3_2_3_1_1 n20_a_duplex__1_1_3_2_4->n20_a_duplex__1_1_3_2_4_1 n20_a_duplex__1_1_3_2_5_1 D n20_a_duplex__1_1_3_2_5->n20_a_duplex__1_1_3_2_5_1 n20_a_duplex__1_1_3_2_5_2 N n20_a_duplex__1_1_3_2_5->n20_a_duplex__1_1_3_2_5_2 n20_a_duplex__1_1_3_2_5_1->n20_a_duplex__1_1_3_2_5_1_1 n20_a_duplex__1_1_3_2_5_2->n20_a_duplex__1_1_3_2_5_2_1 n20_a_duplex__1_1_3_2_6_1 P-ROLE n20_a_duplex__1_1_3_2_6->n20_a_duplex__1_1_3_2_6_1 n20_a_duplex__1_1_3_2_6_2 NP n20_a_duplex__1_1_3_2_6->n20_a_duplex__1_1_3_2_6_2 n20_a_duplex__1_1_3_2_6_1->n20_a_duplex__1_1_3_2_6_1_1 n20_a_duplex__1_1_3_2_6_2_1 N n20_a_duplex__1_1_3_2_6_2->n20_a_duplex__1_1_3_2_6_2_1 n20_a_duplex__1_1_3_2_6_2_1->n20_a_duplex__1_1_3_2_6_2_1_1 n20_a_duplex__1_2->n20_a_duplex__1_2_1 
( (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))