( (IP-MAT (NP-SBJ;{SHIP} (D The;{the})
                         (N ship;{ship}))
          (VBD;_I_ turned;{turn})
          (PUNC ,)
          (PP-SCON (IP-PPL (VAG;_Tn_ changing;{change})
                           (NP-OB1 (NP-GEN;{SHIP} (PRO;_genm_ its;{its}))
                                   (N course;{course}))))
          (PUNC .))
  (ID 61_a_dick_1952))

arc(r_0061_0003__turned,r_0061_0001__The_r_0061_0002__ship,arg0).
arc(r_0061_0005__changing,r_0061_0001__The_r_0061_0002__ship,arg0).
arc(r_0061_0005__changing,r_0061_0007__course,arg1).
arc(r_0061_0007__course,r_0061_0001__The_r_0061_0002__ship,gen).
arc(z_0061_5002,r_0061_0003__turned,scope).
arc(z_0061_5002,r_0061_0005__changing,restriction).

fof(formula,axiom,
    ? [R_0061_0001__THE_R_0061_0002__SHIP,R_0061_0003__TURNED,R_0061_0007__COURSE,R_0061_0005__CHANGING,Z_0061_5002] :
      ( r_0061_0001__The_r_0061_0002__ship(R_0061_0001__THE_R_0061_0002__SHIP)
      & z_0061_5002(Z_0061_5002)
      & has_conj1(Z_0061_5002,R_0061_0005__CHANGING)
      & r_0061_0005__changing(R_0061_0005__CHANGING)
      & has_arg1(R_0061_0005__CHANGING,R_0061_0007__COURSE)
      & r_0061_0007__course(R_0061_0007__COURSE)
      & has_gen(R_0061_0007__COURSE,R_0061_0001__THE_R_0061_0002__SHIP)
      & has_arg0(R_0061_0005__CHANGING,R_0061_0001__THE_R_0061_0002__SHIP)
      & has_conj2(Z_0061_5002,R_0061_0003__TURNED)
      & r_0061_0003__turned(R_0061_0003__TURNED)
      & has_arg0(R_0061_0003__TURNED,R_0061_0001__THE_R_0061_0002__SHIP) ) ).