( (IP-MAT (NP-SBJ (Q;_nphd_ Nothing;{nothing}))
          (ILYR (ILYR (VBD;_I_ moved;{move}))
                (CONJP (CONJ or;{or})
                       (ILYR (VBD;_I_ stirred;{stir}))))
          (PUNC .))
  (ID 25_a_dick_1952))

arc(r_0025_0001__Nothing__quant,r_0025_0003__or,scope).
arc(r_0025_0001__Nothing__quant,z_0025_5003,restriction).
arc(r_0025_0002__moved,z_0025_5003,arg0).
arc(r_0025_0003__or,r_0025_0002__moved,conj1).
arc(r_0025_0003__or,r_0025_0004__stirred,conj2).
arc(r_0025_0004__stirred,z_0025_5003,arg0).

fof(formula,axiom,
    ! [Z_0025_5003] :
      ( z_0025_5003(Z_0025_5003)
     => ? [R_0025_0002__MOVED,R_0025_0004__STIRRED,R_0025_0003__OR] :
          ( r_0025_0003__or(R_0025_0003__OR)
          & has_conj2(R_0025_0003__OR,R_0025_0004__STIRRED)
          & r_0025_0004__stirred(R_0025_0004__STIRRED)
          & has_arg0(R_0025_0004__STIRRED,Z_0025_5003)
          & has_conj1(R_0025_0003__OR,R_0025_0002__MOVED)
          & r_0025_0002__moved(R_0025_0002__MOVED)
          & has_arg0(R_0025_0002__MOVED,Z_0025_5003) ) ) ).