( (IP-MAT (NP-SBJ;{DOOR} (PRO It;{it}))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (ILYR (ILYR (VVN;_Cn.a_ bolted;{bolt})
                                  (ADJP-PRD (ADJ shut;{shut})))
                            (PUNC ,)
                            (CONJP (ILYR (VVN;_Tn_ locked;{lock})))))
          (PUNC .))
  (ID 439_a_dick_1952))

arc(r_0439_0002__was,z_0439_5003,scope).
arc(r_0439_0003__bolted,r_0439_0001__It,arg1).
arc(r_0439_0003__bolted,r_0439_0004__shut,prd).
arc(r_0439_0003__bolted,z_0439_5002___star_,arg0).
arc(r_0439_0006__locked,r_0439_0001__It,arg1).
arc(r_0439_0006__locked,z_0439_5002___star_,arg0).
arc(z_0439_5003,r_0439_0003__bolted,conj1).
arc(z_0439_5003,r_0439_0006__locked,conj2).

fof(formula,axiom,
    ? [R_0439_0001__IT,R_0439_0004__SHUT,Z_0439_5002___STAR_,R_0439_0003__BOLTED,R_0439_0006__LOCKED,Z_0439_5003,R_0439_0002__WAS] :
      ( r_0439_0001__It(R_0439_0001__IT)
      & r_0439_0004__shut(R_0439_0004__SHUT)
      & z_0439_5002___star_(Z_0439_5002___STAR_)
      & r_0439_0002__was(R_0439_0002__WAS)
      & has_keep_scope(R_0439_0002__WAS,Z_0439_5003)
      & z_0439_5003(Z_0439_5003)
      & has_conj2(Z_0439_5003,R_0439_0006__LOCKED)
      & r_0439_0006__locked(R_0439_0006__LOCKED)
      & has_arg0(R_0439_0006__LOCKED,Z_0439_5002___STAR_)
      & has_arg1(R_0439_0006__LOCKED,R_0439_0001__IT)
      & has_conj1(Z_0439_5003,R_0439_0003__BOLTED)
      & r_0439_0003__bolted(R_0439_0003__BOLTED)
      & has_arg0(R_0439_0003__BOLTED,Z_0439_5002___STAR_)
      & has_prd(R_0439_0003__BOLTED,R_0439_0004__SHUT)
      & has_arg1(R_0439_0003__BOLTED,R_0439_0001__IT) ) ).