( (IP-MAT (NP-SBJ;{NASHA} (NPR Nasha;{Nasha}))
          (ILYR (ILYR (VBD;_Tn_ took;{take})
                      (NP-OB1;{STICK} (D the;{the})
                                      (N stick;{stick})))
                (CONJP (CONJ and;{and})
                       (ILYR (VBD;_Tn.p_ turned;{turn[over]})
                             (NP-OB1;{STICK} (PRO it;{it}))
                             (ADVP-CLR (RP over;{over})))))
          (PUNC .))
  (ID 204_a_dick_1952))

arc(r_0204_0002__took,r_0204_0001__Nasha,arg0).
arc(r_0204_0002__took,r_0204_0003__the_r_0204_0004__stick,arg1).
arc(r_0204_0005__and,r_0204_0002__took,conj1).
arc(r_0204_0005__and,r_0204_0006__turned_r_0204_0008__over,conj2).
arc(r_0204_0006__turned_r_0204_0008__over,r_0204_0001__Nasha,arg0).
arc(r_0204_0006__turned_r_0204_0008__over,r_0204_0003__the_r_0204_0004__stick,arg1).

fof(formula,axiom,
    ? [R_0204_0001__NASHA,R_0204_0003__THE_R_0204_0004__STICK,R_0204_0002__TOOK,R_0204_0006__TURNED_R_0204_0008__OVER,R_0204_0005__AND] :
      ( r_0204_0001__Nasha(R_0204_0001__NASHA)
      & r_0204_0003__the_r_0204_0004__stick(R_0204_0003__THE_R_0204_0004__STICK)
      & r_0204_0005__and(R_0204_0005__AND)
      & has_conj2(R_0204_0005__AND,R_0204_0006__TURNED_R_0204_0008__OVER)
      & r_0204_0006__turned_r_0204_0008__over(R_0204_0006__TURNED_R_0204_0008__OVER)
      & has_arg1(R_0204_0006__TURNED_R_0204_0008__OVER,R_0204_0003__THE_R_0204_0004__STICK)
      & has_arg0(R_0204_0006__TURNED_R_0204_0008__OVER,R_0204_0001__NASHA)
      & has_conj1(R_0204_0005__AND,R_0204_0002__TOOK)
      & r_0204_0002__took(R_0204_0002__TOOK)
      & has_arg1(R_0204_0002__TOOK,R_0204_0003__THE_R_0204_0004__STICK)
      & has_arg0(R_0204_0002__TOOK,R_0204_0001__NASHA) ) ).