100_a_joyce_1914
I went in on tiptoe.

n100_a_joyce_1914 n100_a_joyce_1914__1_1_1_1 I n100_a_joyce_1914__1_2_1 went n100_a_joyce_1914__1_3_1 in n100_a_joyce_1914__1_4_1_1 on n100_a_joyce_1914__1_4_2_1_1 tiptoe n100_a_joyce_1914__1_5_1 . n100_a_joyce_1914__1 IP-MAT n100_a_joyce_1914__1_1 NP-SBJ n100_a_joyce_1914__1->n100_a_joyce_1914__1_1 n100_a_joyce_1914__1_2 VBD;_Ip_ n100_a_joyce_1914__1->n100_a_joyce_1914__1_2 n100_a_joyce_1914__1_3 RP n100_a_joyce_1914__1->n100_a_joyce_1914__1_3 n100_a_joyce_1914__1_4 PP-NIM n100_a_joyce_1914__1->n100_a_joyce_1914__1_4 n100_a_joyce_1914__1_5 PUNC n100_a_joyce_1914__1->n100_a_joyce_1914__1_5 n100_a_joyce_1914__1_1_1 PRO n100_a_joyce_1914__1_1->n100_a_joyce_1914__1_1_1 n100_a_joyce_1914__1_1_1->n100_a_joyce_1914__1_1_1_1 n100_a_joyce_1914__1_2->n100_a_joyce_1914__1_2_1 n100_a_joyce_1914__1_3->n100_a_joyce_1914__1_3_1 n100_a_joyce_1914__1_4_1 P-ROLE n100_a_joyce_1914__1_4->n100_a_joyce_1914__1_4_1 n100_a_joyce_1914__1_4_2 NP n100_a_joyce_1914__1_4->n100_a_joyce_1914__1_4_2 n100_a_joyce_1914__1_4_1->n100_a_joyce_1914__1_4_1_1 n100_a_joyce_1914__1_4_2_1 N n100_a_joyce_1914__1_4_2->n100_a_joyce_1914__1_4_2_1 n100_a_joyce_1914__1_4_2_1->n100_a_joyce_1914__1_4_2_1_1 n100_a_joyce_1914__1_5->n100_a_joyce_1914__1_5_1
( (IP-MAT (NP-SBJ (PRO I;{I}))
          (VBD;_Ip_ went;{go[in]})
          (RP in;{in})
          (PP-NIM (P-ROLE on;{on})
                  (NP (N tiptoe;{tiptoe})))
          (PUNC .))
  (ID 100_a_joyce_1914))



%3 r_0100_0002__went_r_0100_0003__in went in r_0100_0005__tiptoe tiptoe r_0100_0002__went_r_0100_0003__in->r_0100_0005__tiptoe on [nim] r_0100_0001__I I r_0100_0002__went_r_0100_0003__in->r_0100_0001__I [arg0]
arc(r_0100_0002__went_r_0100_0003__in,r_0100_0001__I,arg0).
arc(r_0100_0002__went_r_0100_0003__in,r_0100_0005__tiptoe,r_0100_0004__on__nim).



%3 r_0100_0002__went_r_0100_0003__in went in r_0100_0001__I I r_0100_0002__went_r_0100_0003__in->r_0100_0001__I [arg0] r_0100_0005__tiptoe tiptoe r_0100_0002__went_r_0100_0003__in->r_0100_0005__tiptoe on [nim]
fof(formula,axiom,
    ? [R_0100_0001__I,R_0100_0005__TIPTOE,R_0100_0002__WENT_R_0100_0003__IN] :
      ( r_0100_0001__I(R_0100_0001__I)
      & r_0100_0005__tiptoe(R_0100_0005__TIPTOE)
      & r_0100_0002__went_r_0100_0003__in(R_0100_0002__WENT_R_0100_0003__IN)
      & has_r_0100_0004__on__nim(R_0100_0002__WENT_R_0100_0003__IN,R_0100_0005__TIPTOE)
      & has_arg0(R_0100_0002__WENT_R_0100_0003__IN,R_0100_0001__I) ) ).