437_a_dick_1952
They came gingerly after him.

n437_a_dick_1952 n437_a_dick_1952__1_1_1_1 They n437_a_dick_1952__1_2_1 came n437_a_dick_1952__1_3_1_1 gingerly n437_a_dick_1952__1_4_1_1 after n437_a_dick_1952__1_4_2_1_1 him n437_a_dick_1952__1_5_1 . n437_a_dick_1952__1 IP-MAT n437_a_dick_1952__1_1 NP-SBJ n437_a_dick_1952__1->n437_a_dick_1952__1_1 n437_a_dick_1952__1_2 VBD;_I_ n437_a_dick_1952__1->n437_a_dick_1952__1_2 n437_a_dick_1952__1_3 ADVP-NIM n437_a_dick_1952__1->n437_a_dick_1952__1_3 n437_a_dick_1952__1_4 PP-NIM n437_a_dick_1952__1->n437_a_dick_1952__1_4 n437_a_dick_1952__1_5 PUNC n437_a_dick_1952__1->n437_a_dick_1952__1_5 n437_a_dick_1952__1_1_1 PRO n437_a_dick_1952__1_1->n437_a_dick_1952__1_1_1 n437_a_dick_1952__1_1_1->n437_a_dick_1952__1_1_1_1 n437_a_dick_1952__1_2->n437_a_dick_1952__1_2_1 n437_a_dick_1952__1_3_1 ADV n437_a_dick_1952__1_3->n437_a_dick_1952__1_3_1 n437_a_dick_1952__1_3_1->n437_a_dick_1952__1_3_1_1 n437_a_dick_1952__1_4_1 P-ROLE n437_a_dick_1952__1_4->n437_a_dick_1952__1_4_1 n437_a_dick_1952__1_4_2 NP n437_a_dick_1952__1_4->n437_a_dick_1952__1_4_2 n437_a_dick_1952__1_4_1->n437_a_dick_1952__1_4_1_1 n437_a_dick_1952__1_4_2_1 PRO n437_a_dick_1952__1_4_2->n437_a_dick_1952__1_4_2_1 n437_a_dick_1952__1_4_2_1->n437_a_dick_1952__1_4_2_1_1 n437_a_dick_1952__1_5->n437_a_dick_1952__1_5_1
( (IP-MAT (NP-SBJ;{DORLE+NASHA} (PRO They;{they}))
          (VBD;_I_ came;{come})
          (ADVP-NIM (ADV gingerly;{gingerly}))
          (PP-NIM (P-ROLE after;{after})
                  (NP;{TANCE} (PRO him;{he})))
          (PUNC .))
  (ID 437_a_dick_1952))



%3 r_0437_0002__came came r_0437_0005__him him r_0437_0002__came->r_0437_0005__him after [nim] r_0437_0003__gingerly gingerly r_0437_0002__came->r_0437_0003__gingerly [nim] r_0437_0001__They They r_0437_0002__came->r_0437_0001__They [arg0]
arc(r_0437_0002__came,r_0437_0001__They,arg0).
arc(r_0437_0002__came,r_0437_0003__gingerly,nim).
arc(r_0437_0002__came,r_0437_0005__him,r_0437_0004__after__nim).



%3 r_0437_0002__came came r_0437_0001__They They r_0437_0002__came->r_0437_0001__They [arg0] r_0437_0003__gingerly gingerly r_0437_0002__came->r_0437_0003__gingerly [nim] r_0437_0005__him him r_0437_0002__came->r_0437_0005__him after [nim]
fof(formula,axiom,
    ? [R_0437_0001__THEY,R_0437_0003__GINGERLY,R_0437_0005__HIM,R_0437_0002__CAME] :
      ( r_0437_0001__They(R_0437_0001__THEY)
      & r_0437_0003__gingerly(R_0437_0003__GINGERLY)
      & r_0437_0005__him(R_0437_0005__HIM)
      & r_0437_0002__came(R_0437_0002__CAME)
      & has_r_0437_0004__after__nim(R_0437_0002__CAME,R_0437_0005__HIM)
      & has_nim(R_0437_0002__CAME,R_0437_0003__GINGERLY)
      & has_arg0(R_0437_0002__CAME,R_0437_0001__THEY) ) ).