( (IP-MAT (PP-SCON (P-CONN As;{as})
                   (IP-ADV (NP-SBJ;{CAPTAIN} (D the;{the})
                                             (N Captain;{captain}))
                           (VBD;_Tn_ closed;{close})
                           (NP-OB1 (D the;{the})
                                   (N door;{door}))))
          (NP-SBJ;{NASHA} (D the;{the})
                          (ADJP (ADJ young;{young}))
                          (N woman;{woman}))
          (VBD;_I_ turned;{turn})
          (PUNC .))
  (ID 39_a_dick_1952))

arc(r_0039_0001__As,r_0039_0004__closed,restriction).
arc(r_0039_0001__As,r_0039_0010__turned,scope).
arc(r_0039_0004__closed,r_0039_0002__the_r_0039_0003__Captain,arg0).
arc(r_0039_0004__closed,r_0039_0005__the_r_0039_0006__door,arg1).
arc(r_0039_0007__the_r_0039_0009__woman,r_0039_0008__young,attrib).
arc(r_0039_0010__turned,r_0039_0007__the_r_0039_0009__woman,arg0).

fof(formula,axiom,
    ? [R_0039_0002__THE_R_0039_0003__CAPTAIN,R_0039_0005__THE_R_0039_0006__DOOR,R_0039_0004__CLOSED,R_0039_0008__YOUNG,R_0039_0007__THE_R_0039_0009__WOMAN,R_0039_0010__TURNED,R_0039_0001__AS] :
      ( r_0039_0002__the_r_0039_0003__Captain(R_0039_0002__THE_R_0039_0003__CAPTAIN)
      & r_0039_0005__the_r_0039_0006__door(R_0039_0005__THE_R_0039_0006__DOOR)
      & r_0039_0008__young(R_0039_0008__YOUNG)
      & r_0039_0001__As(R_0039_0001__AS)
      & has_conj2(R_0039_0001__AS,R_0039_0010__TURNED)
      & r_0039_0010__turned(R_0039_0010__TURNED)
      & has_arg0(R_0039_0010__TURNED,R_0039_0007__THE_R_0039_0009__WOMAN)
      & r_0039_0007__the_r_0039_0009__woman(R_0039_0007__THE_R_0039_0009__WOMAN)
      & has_attrib(R_0039_0007__THE_R_0039_0009__WOMAN,R_0039_0008__YOUNG)
      & has_conj1(R_0039_0001__AS,R_0039_0004__CLOSED)
      & r_0039_0004__closed(R_0039_0004__CLOSED)
      & has_arg1(R_0039_0004__CLOSED,R_0039_0005__THE_R_0039_0006__DOOR)
      & has_arg0(R_0039_0004__CLOSED,R_0039_0002__THE_R_0039_0003__CAPTAIN) ) ).