( (IP-MAT (ILYR (ILYR (NP-SBJ (NS Gears;{gear}))
                      (VBD;_I_ turned;{turn}))
                (PUNC ,)
                (CONJP (ILYR (NP-SBJ (NS belts;{belt}))
                             (VBD;_I_ whined;{whine}))))
          (PUNC .))
  (ID 620_a_dick_1952))

arc(r_0620_0002__turned,r_0620_0001__Gears,arg0).
arc(r_0620_0005__whined,r_0620_0004__belts,arg0).
arc(z_0620_5001,r_0620_0002__turned,conj1).
arc(z_0620_5001,r_0620_0005__whined,conj2).

fof(formula,axiom,
    ? [R_0620_0001__GEARS,R_0620_0002__TURNED,R_0620_0004__BELTS,R_0620_0005__WHINED,Z_0620_5001] :
      ( r_0620_0001__Gears(R_0620_0001__GEARS)
      & r_0620_0004__belts(R_0620_0004__BELTS)
      & z_0620_5001(Z_0620_5001)
      & has_conj2(Z_0620_5001,R_0620_0005__WHINED)
      & r_0620_0005__whined(R_0620_0005__WHINED)
      & has_arg0(R_0620_0005__WHINED,R_0620_0004__BELTS)
      & has_conj1(Z_0620_5001,R_0620_0002__TURNED)
      & r_0620_0002__turned(R_0620_0002__TURNED)
      & has_arg0(R_0620_0002__TURNED,R_0620_0001__GEARS) ) ).